Style results with pygments.
Restore old test.'s code.
Fix local annotations.
Repair toggling annotations.