Thread:1137a/@comment-16461120-20190522002137/@comment-16461120-20190522003309

It's deleted for now and in terms of designation, it's unfortunately more likely that it won't be revealed and a temporary one will have to be assigned instead, but we'll see.