Proposal: apps.0install.net

Hi all,

I would like to propose a new feed repository named apps.0install.net which
would unify the contents from repo.roscidus.com and 0install.de/feeds.

By creating a new repository with a new domain we could:
- Switch to HTTPS URLs. Not strictly necessary due to 0install's GPG
signature checks but makes feed URLs look more trustworthy, especially when
viewed in a browser.
- Use URLs ending in .xml. This would allow use to use GitHub Pages for
hosting rather than requiring hosting with .htaccess support.
- Fit in nicely with the naming of docs.0install.net. Using a 0install.net
subdomain could also help make the feed URLs somewhat easier to memorize.

We could leave all the old feeds in place but replace their content with
forwarding/redirects like this: <feed
src="https://apps.0install.net/category/feed.xml"/>

What do you think? Is this a sensible approach? Is apps.0install.net a good
name for this, or perhaps hub.0install.net or repo.0install.net?

Regards
Bastian