Document traits and Default about format! better

Closes #9865
Closes #9808