Fixing formatting and anomalies across all specifications and code snippets