anchovy

According to TV Tropes, her name's Chiyomi Anzai.

Yeah, that's been in her wiki page for more than a year.

She's referred to exclusively in-series and on the official website and materials as Anchovy, whereas her real name is only referenced to in ancillary material. The same applies to other GuP characters that use nicknames instead of their real names.

I've looked through the forum, and in cases like this, the precedent seems to be to remain using the alias.

There's no 100% hard and fast rule, but in this case let's stick with the commonly used name, yes. More consistent that way, within Garupan tags.