Try to silence helptags