These are only small improvements, but might make things a bit easier. The web server is now https, and also it will be better at remembering if you're logged in! It was a stupid bug that I hadn't noticed for, ooh, about 10 years, but was blindingly obvious. Thanks all!