PS: I suppose setting the default mode to DIV (rather than P) would be less disruptive.   P makes cleaner HTML, but I doubt most non-technical people know about the shift-ENTER command, so P mode would prevent them from formatting text how they wanted it to look.