And at long last, I get off my ass and fix tonc's code for the arm-eabi ↔ arm-none-eabi change. Also fixed some other things in html and css, and updated the PDF. I had to export the PDF via chrome this time, though, so it'll look a little different. It also lost me about 60 pages, now where did those go all of a sudden …
But yeah … tonc is at 1.4.2 now.