I've decided to host and maintain the ArduboyTones library in my own repository at https://github.com/MLXXXp/ArduboyTones This repository can be deleted.