[marcusmueller]

Hi: GNU Radio is not GNU-sponsored. Whatever that would be. Sure, we could put archives on Savannah, but I can have as many slow servers as I want...