[8/9] update: purifyeps (12489 -> 12498) ... The following files
should be removed due to the removal of purifyeps,
but are part of another package, too.
I made a typo when I first committed purifyeps.tlpsrc, forgot to replace
"a2ping" with "purifyeps". I think it all worked out ok ... 12498 is
the current purifyeps rev.