autoscroll in large <pre>s
Simplified identifiers for annotations