[Atari800-users] this is interesting

[Petr S. <pst...@so...>]

Check the github issue and if you're a developer and/or Atari800 port
maintainer then feel free to comment there.

https://github.com/atari800/atari800/issues/134

Petr