Remove some out-of-date entries from .darcs-boring