re: #470 Gus
Not deleted. Weird. Someone told me on Twitter. Checked and it was gone. Then checked my comment above and it was gone. Checked 5 minutes later and it was back.
Can you delete then undelete on teh twitter?