Documentation related improvements

[Kanjirito]

The are 2 features I'd really love to have:

1. Documentation folding since in some cases it can get very long (I think ideally it would leave the first line and fold the rest)
2. Keyboard shortcut (or at least a command) for toggling documentation just like you can toggle comments