Hyper extensions for doc.sty
