Now the extra manual entries are present in the supervisor man page.