Ștergerea a fost propusă la 10 februarie 2014. Discuția s-a încheiat la 3 aprilie 2014 și rezultatul a fost: păstrare. Aceasta este o arhivă; vă rugăm să nu mai adăugați mesaje în ea.
Comentariu: În informatică (iar aici cam asta este) „redundant” nu înseamnă „inutil”, ci „dublat exact de alta”. Care este categoria care o dublează exact pe asta?