Ahora que UserScripts.org está caído, no es posible descargar el script Anti AEDE que marca en rojo la prensa de AEDE (para evitar pinchar en ella accidentalmente). He dejado subido el script a Pastebin para que podáis cargarlo en GreaseMonkey o TaperMonkey.