this patch series is proposal for document improvements.
patch #5 ("re-opening closed heads") comes from the question about
branch closing/reopening asked by users in Japan.
but it may not be suitable to be explicitly documented for ordinary
users, so please omit it if so.