There's a related thread at https://news.ycombinator.com/item?id=23010079. Normally we'd merge threads that are that similar, but I couldn't figure out a good way to do it, so maybe they're subtly different enough to keep both up.