get rid of pgi-docs2 again