re: #245 Dr Lizardo
I didn’t know about that, but it wouldn’t surprise me.
I think I remember reading it somewhere.