Sorry, this was supposed to be a Show HN: post. Too late for me to edit the title. Maybe I will resubmit correctly in the future.