Help Test the New Odoc-3-Powered Package Documentation Pages

Thanks a lot @dlesbre for the report. Indeed, this is a new bug, I’ve filed a bug report in the relevant repo.