Add a copy button to the JavBus project to make it easy for mobile Safari to copy.
Ekde 2023/08/05. Vidu La ĝisdata versio.