Thread:DarkenedXavier/@comment-39705341-20200110212940/@comment-35029411-20200110214025

No it's not a problem, since that's what it's official EN name will be. But it's better to leave it as its ERO number for now.