Some tools which help with Atari 800 disketts