I think the name was not revealed for a reason. She is part of a sub-plot that could be considered subtly comical. "Library girl with a pigtail" is a bit long and makes for a relaxed epithet for the girl, to emphasize that it's not a crucial or dead serious piece of the story. Most things have a reason