Skript zum Entfernen von roten Links. Siehe script-redlinks.js.