Thread:Marvelus/@comment-26838855-20190116120806/@comment-26838855-20190516004319

He's answered several questions already. I'm refreshing his user page to see his new comments fairly frequently. See here.