I'm sure I typed double-hyphen when submitting the post, but probably HN auto-formatted the title. IDK really.