The rich-text editor of WordPress can become annoying, since it won’t let you customize its keyboard shortcuts. Whenever the browser...