SIC-1: Patch notes for Dec 29

Simplified the first two nontrivial puzzles Added a separate, printable HTML manual Added tooltips to charts Added support for negated labels Added support for number-only label names (e.g. "@1") Updated charts