56b2af1
docs: Don't use bold text for menu entries The menu should not take the focus away from the actual contents.