docs: add missing badge aliases
docs: make command line sections stand out
docs: escape special chars for rst