[FYI] maint merged into master

[Stefano Lattarini]

Merge branch 'maint'
    
* maint:
  tests: avoid spurious failure of 'uninstall-fail.test' on Cygwin
  tests: fix spurious failure with autoconf 2.62
  docs: avoid using colon character inside arguments of @pxref