auto-committed by dist.ini
v0.5

        Doc tweaks
        Switch homepage to pretty version
        Use a real HTML parser to extract version
        Switch back to kernel.org for downloads