User blog comment:Martialmaniac/Hina's former name/@comment-32818639-20180328204932/@comment-5780397-20180329011207

I also glanced at the unofficial translation, and "Hirin" is nowhere to be found there, either. It seems pretty certain at this point it's anime-only. We'll have to check the episodes in which she appears, it's going to be a credit-only thing.