Indeed. I found a third-party Windows program that exported all my Evernote stuff into OneNote, including images and most of the formatting, but as is usual for once-only transfers, I simply can't recall its name.
// @japchap @skematica