trac does not contain any information relevant to us anymore

So, remove it.