You are probably looking for docwhat.gerf.org.