Ah.
Windows only. I have only had frustrating experiences trying to use Android as a web-browsing platform, and it’s definitely no good for productivity. The former may indeed be better now that Android has more CPU/GPU and RAM to work with, but I still see little need to leave Win10 since it already covers all my bases. And the 64GB disk is already cramped without a second OS.
Beyond all that, it seems like it would be asking for trouble to try and convert this easily breakable thing to dual-boot. I’m leaving well enough alone.