Thread:Z-FunWithBooks/@comment-37887154-20181231003446/@comment-33804292-20181231011048

Yep! Here's the User List of the top contributors:

(I didn't count the bots since they aren't actual users)