I wasn't aware of this - thank you for the heads up! I'm new-ish to HN - is it considered good form to delete the post?