TheOtherDave comments on Open Thread, October 13 − 19, 2013

[TheOtherDave]

I’m fairly certain that the user RK is referring to was deleted from the site.

EDIT: But I am wrong! He wrote a post that got deleted, and I got confused.

[arundelo]

Not as of this writing.

[TheOtherDave]

corrected, thanks