Talk:Lua/@comment-14475-20180731231103

Per undo the recent trivia add:
 * Sharing the same name as something real world does not always mean it is Trivia. Merely a coincidence.