last round of ignoring stuff (also updated protex documentation)