hide pdf manual links, currently not working