ahoy! I just made permanent redirects working for dev-1.org and dev-one.org so they can be left as links to our distro. they are very useful when spelling devuan in radio podcasts and in person: dev dash one dor org is better understood...

ciao