Comment 14 for bug 198759

Franck, please don't rant in bug reports - it really doesn't help. You have two core developers paying attention to this bug right now, and it is already on our list to be fixed for 8.04. My experience is that bugs filled with ranting are less pleasant to spend time on and thus if anything are less likely to be fixed, so please be nice.

I got a reply from the upstream author, saying:

"If you want to fix this please define a new type in
/usr/share/X11/xkb/types/extra

that does the same thing as the current type used for the space key with
right-ctrl hardcoded instead of using iso_level5, then switch the space
key in fr(oss) to this type.

You have my blessing to merge the result as default in upstream
xkeyboard-config."

I think I get the idea of this, and will figure out an implementation shortly.