Nitpick: what user manual do you mean here? Buildbot's? Github's?