With both Indefero and GitHub, we don't need this file no more.