Create formatter behavioral specification and improve documentation

Co-authored-by: felix-andreas <[email protected]>

Author: Copilot