GNU.org relying on a cloud provider? Isn't that going against the GNU philosophy a bit?