Have you problems with using the keyboard shortcuts for making headers in WordPress after updating[…]