Switch to https
Use redis for sharejs
Some style changes that appeared mysteriously.