How practical would it be to hack the scope to display HDMI input?
About 0.000001% practical.
I don't have a lot of workspace, and it would be nice to be able to have the scope display double up with a schematic or datasheet from my PC, or from my microscope. I guess it would need a 2nd HDMI port and some extra circuitry on a little PCB to switch between the HDMI input and the scope?
It's Android so there's lots of ways to do that with no hardware hacking needed:
It has a built in web browser to view web pages.
Installing a PDF viewer is possible.
You can probably install an
app to use it as a second monitor for your PC - probably the most useful option but I haven't tried that one yet.
Start by attaching a keyboard and/or one of the "alternate UIs" that are mentioned in this thread so you can easily get to the Android home screen. After that you need an app launcher and your 'scope becomes and ordinary Android device.
You can also install/launch Android apps from your PC using ADB.