user management update

Hi all.
Small note, this is probably only going to effect the non admins on here which I think is 3 of you however as I was mucking about checking the status of systems, it occured to me to edit everyone’s profile including all admins, myself included and check our user options.
For the admins they are all set, visual editor off, shortcuts on, etc.
However I noticed that while others had the ability for visual editor active, no toolbar which none of us use, etc I did notice keyboard shortcuts for comments and other submission were disabled.
Admins have it enabled by the way already.
Anyway just to say, that feature is now active for what its worth.
With the system running as it is I won’t need to adjust or even look at things for another few months and as I had some downtime between appointments I thought I’d just look quickly.