Deprecated features

Odoc 2.x had a different way to specify the hierarchy of the output pages. This still works, though it is deprecated. Documentation for the feature may be found here.