* some experiments with new list-style for pattern index
* see asciidoc-help for suggestion (will do tomorrow)
Merge branch 'gernots' into invariants_and_zombies