Minor modes customization in jedi:doc