Bug fixes and optimizations

Fix single documentation search keyboard interaction
Show documentation tag when started from tty
Optimize documentation tag visibility
Various code optimizations