master
Add blurb pointing to manual to all example programs.
Document intdiv extension in the manual.
Fix the shortest-match program in the doc and in the test directory.
Update doc with lots of formatting improvements.