Merge branch 'cat-command' into pu

* branch cat-command:
  t3001: use '--cat' to get the instruction sheet
  Add '--cat' to print the instruction sheet
Merge branch 'skip-option' into pu

* branch skip-option:
  WIP
  Add --skip option

Needs more work to be able to handle "branch not found".
Merge branch 'manpage-on-site' into pu

* branch manpage-on-site:
  WIP

WIP to improve the web site
Merge branch 'merge-options' into pu

* branch merge-options:
  Allow user-specified merge options