Make sure key is bound in AUCTeX mode.
Improve documentation.