Comment by agg23

A long time ago I used "23 Labs" as a funny name relative to my username. Fast forward many years and I considered actually using it. Apparently "[Number] Labs" is a very popular idea now...

Oh well