manager / Synchronize terms in de and de-informal

The refshow configuration option wasn't used as described anymore
already in the latest release and after the introduction of the media
usage index the parameter is also no longer relevant for internal
optimization. The only place where it was still used is the no longer
used search_references()-function which is removed here, too.

The refshow configuration option wasn't used as described anymore
already in the latest release and after the introduction of the media
usage index the parameter is also no longer relevant for internal
optimization. The only place where it was still used is the no longer
used search_references()-function which is removed here, too.

Ignore-this: f30113b5c1cf1f039fa5792c501948c0

darcs-hash:20091109191304-e7bbe-ce19219ebd63c68dec61aaa90a9a299ee914e26c.gz

darcs-hash:20090525212742-f7d6d-e15e46892fb0e7877526a10a002546629e9e26a3.gz

Ignore-this: 6b06a58d6b64f15d7f18537545d01ef

darcs-hash:20090523101137-e7bbe-af521e15adcc652d0d7546e897a7374b1b41db22.gz

Ignore-this: f960b525d0344358e0d72f3afd070c73

darcs-hash:20090211181214-e7bbe-7d817054d2b11cbe1114dd08e9bbe65e9556888f.gz

darcs-hash:20080611161132-7ad00-197b1eeecf5d607b08c0df9791765eb4faf2c465.gz

darcs-hash:20080317224956-7ad00-a1b2de6dfba5930464df6e3bcaa370b008c7323f.gz