October updates

Hi everybody, I have rolled out the following changes: * Email notifications on internal messages (you need to turn this on in your profile) * New, more obvious mail icon * Bug fix: profile menu not functional on touch screens * Bug fix: search no longer receives focus automatically on the side menu. This was a problem on touch screens as the keyboard would appear. If you want to search quickly on a desktop PC you can just hit this key: "/". * On touch screens you can now swipe left to pull out the menu or swipe right to hide it. I am still experimenting with the usability of this. * Search box now has an "X" so you can clear it easily. To avoid confusion, I have changed the button that closes the menu to an arrow rather than another "X". * Reduced level of advertising. Please note that many parts of the site are still not designed for mobile devices. However, support is improving. Finally, improved workflows and tools mean it's far easier for me to provide smaller, more frequent updates. That's my goal as there's not much sense sitting on an inventory of completed but not deployed work. I hope these updates cut through most of the problems people have been having with the new design. Please let me know if you hit other problems.