Merge branch 'ss/doclinks' into pu

* ss/doclinks:
  Documentation: make AsciiDoc links always point to HTML files
### notyet
Merge branch 'fc/at-head' into pu

* fc/at-head:
  DO NOT MERGE YET
  Add new @ shortcut for HEAD
  sha1-name: pass len argument to interpret_branch_name()