formatting, docs, and badge cleanup