HEADS-UP: haddock.git to be turned into submodule soon (was: HEADS-UP: new server-side validation git hook for submodule updates & call-for-help)