Board Thread:General Discussion/@comment-36815121-20190416014511/@comment-34888194-20190416015208

I estimated the total number of MediaWiki messages is around 13,000.