Fix idiocy with miscIs.shtml in Maple docs