Thread:BlueFrackle/@comment-32730094-20200802200942/@comment-1197011-20200803000103

In the absence of an official name, fan-made names are acceptable as long as they're widely used AND the notes section explains that the name is a fan designation.