I really don't see the problem. You have to download the release to use it and the documentation is included, what's the huge deal about keeping a tiny HTML fil

I really don't see the problem. You have to download the release to use it and the documentation is included, what's the huge deal about keeping a tiny HTML file around? It's not like you suddenly need to start renting a VPS to read it..