Yeah, and constructability is usually handled by proving that a length is constructable if it lives in an iterated quadratic extension of the rationals. Pi does not lie in such an extension, so is not a constructable length (and neither is its square root).
It's entertaining when reading is entertaining. This was a great "read while eating lunch at work" read because it was entertaining.
I didn't really care too much about rodent-repelling tape before reading and don't care much now. It was the entertaining writing that brought value for me.
I'm a math PhD, was a tenured professor and then transitioned to industry. We've got two humanities PhDs that work as QA testers on our team. They're both fantastic, especially in thinking about either big picture questions or nuanced takes that others missed out on.
There's a common workflow I use at work that involves taking the default 10 times before inputting what I need to use. I do double shave and a haircut quickly instead of counting return presses.