(03-03-2018, 02:12 PM)jkl Wrote: Insert the usual monologue about the decay and, effectively, death of "the tools principle" through the advent of can-do-all text editors here. (I guess I don't really need to explain that.)

I think it was quite apparent from the podcast.

Thanks for the meticulous details, as usual.
Those are great info, I'll update the transcript asap.