Board Thread:Fun and Games/@comment-2602:306:32D4:8130:C427:1877:D953:DADE-20170923133435/@comment-2118191-20170926152050

Dinosaurus and Dinosaurodon are both redundant names. So we can remove them straight away.