Noted, it's completely fine.
Awesome!
Yes, I've not listed it in "Removed Blockexplorers" section because it's a formatting issue (table layout is different, so I need to modify my code).
If you want we can add a new table exclusively created for "deleted Different other sites / .onion links" where we can list it.
But since it's not working anymore, I'm not sure if creating a new table is beneficial...
I think it's okay to leave it deleted, as Loyce also suggested. My main idea was just to make sure we have consistency (see, we talk again about consistency
) between how to manage deleted explorers and apply then a pattern for all (or for all types). This meant that we could: (1) delete all forever (meaning those from the upper part of the OP and also those from Different sites section); (2) delete forever only those from Different sites section.
Since this was first case when a different site was removed, this also became first time when we had to settle this consistency for the future
Therefore,
for consistency purposes (smile here) I suggest that, in the future, if other sites from Different sites section will be removed, to eliminate them also completely. And to keep only those from upper part of the OP at Removed block explorers section. Of course, excepting the consistency, it also matters that more work from you would be needed for keeping the eliminated Different sites under Removed block explorers. And, as we all know how unpleasant is working with BBCode tables, I believe that this is another very good argument to proceed as we settled.