Thread:BenRG/@comment-24993958-20180121093009/@comment-10390252-20180121093245

I'd actually already tried to delete the comment; it's early enough in the morning that I'm getting confused about what thread I'm on.