gauntlet's microblog

2016-11-03

• [22:54] Talking about red: seems like tilde.red is gone.