Oh thanks! I'll add these to the toptext.

Can you please fix the URL? HN policy is to link to the canonical site rather than an archive service, which I’m sure you are aware of. Thanks!