Shaved off document parts that went into exodoc