For 7.2, I'll be adding an individual toggle to disable the private messages for specific users. My question to you is this. Should this just prevent them from sending private messages or should it prevent them from receiving them as well?
I'm thinking it should be the first option, in that you may still want to include the user in a private topic, but just not want them to be able to start new ones.
