Well, as luck would have it, the developer fixed the problem yesterday with viewing pdf manuals using the GameEx frontend. If you have not seen it, GameEx is frontend that supports numerous emulators (not just ones for Atari systems). It allows for screen shots, box and cartridge scans as well as viewing game manuals. You can find more info at www.gameex.net.