No criticism is intended! I add this because sometimes people think there's an implied "why did you repost this, it's already been discussed" - but not at all: reposts on HN are fine after about a year or so: https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...