Should we use https://github.com/googlefonts/RobotoMono and git-fetch instead?
That git repository had license problems, which is the reason for my SVN solution. There is also https://issues.guix.gnu.org/54323. Unfortunately github meanwhile dropped the SVN support, so my patch is not working anymore.