Thread:JD THOMAS FAN/@comment-1338865-20181013014341/@comment-1338865-20181013230619

Yes, but it also went to the thing about my user page on the TUGS wiki as well.