Okay, so it's not truly OneNote on linux, but there are a few people who have put together flatpacks in the Ubuntu store that are basically a web wrapper for the online version of OneNote. And guess what! It's better than OneNote on Android. That's right - OneNote on Android, even on the giant screen of the Tab S9 Ultra, still thinks you have to push the navigation panes away to interact with a page in any way. So it's an endless game of re-opening the navigation panels to change pages, which is quite tedious when building notebooks.

Well, the web version doesn't do that. I've had much more pleasant time building our school notebooks in OneNote on Ubuntu than trying to do it in Dex. I spend a little more time waiting for the book to load initially, but once it's cached, it's not bad.

And of course, this is all still contingent on getting the PDFs in using the OneNote for Windows 10 printer driver because of the way it handles multipage PDFs as one set rather than separate pages. When I cut pages out, the rest move up, so I can delete blank pages or pages the kids don't need without having to manually move the rest up. Only the Windows 10 version does that. There doesn't seem to be an option anywhere in either the printer settings or OneNote to change the behavior of the regular OneNote printer, and no way to change how inserting a printout works in Android or web based OneNote.