GitHub: enhance formatting.