packaging for the case, when the install of documentation is enabled. Transfer maintainership to antoine@, so he can continue to do as he pleases with both, but without the guilt of changing other people's ports.