05:55
J.M. reminds here that it may be useful to check, whether some tags that already had been removed are not being used again.
Instead of lattices we use lattice-orders and integer-lattices, see meta. (Link visible to 10k+ users.)
6 hours later…
12:13
« first day (33 days earlier) ← previous day next day → last day (4608 days later) »