we already built odoc https://x.com/alihushamsci/status/1885269718392590342 for that exact reason https://odoc.app/