formatting, docs, and new badge