Board Thread:Wiki Discussion/@comment-107.72.162.53-20170926185543/@comment-2118191-20170928154838

No. Not Dinosaurus. That is a redundant name. Call it something like Phobosaurus instead.