The currently included Atari800 Emulator does run Atari 800 disk Images if you manually switch the configuration. As the bits are already in, could we please have a second instance with a different configuration file so that 5200 ROMs and 800 disks (ATR, ATX) live in different directories and do not require Manual switching?
(Using Atari 800 Emulation only for 4-player M.U.L.E. really, but that's totally worth it!)
