Thank you for the summary! (Note: indenting text with two spaces makes it render with a monospaced font on Hacker News, see https://news.ycombinator.com/formatdoc )