Diff atari800-4.2.0-r1 with a atari800-5.0.0

Thank you!