Ctrl+Shift+X keyboard shortcut to toggle html editor not working

It might be. At least I can say that it works fine for me on debian linux.

For convenience, here’s the link: Keyboard shortcut for toggling the HTML-editor stopped working.

You basically just copy and paste the link; the forum will do the rest.