An RFC extension for odoc

commits