Typos and documentation
Better check of position for rules and pragmas
The -q option of dkcheck is obsolete and does nothing. Remove it.