It would be great to have a repository dedicated to relatively big and
disposible design realted binaries.
I would feel bad to clutter gnu.io - unless they are ok with it.
Any suggestions that don't involve people creating accounts on github?
Cheers,
Robert