Huh, she reminds me of this boxer girl Johnny Utah made nearly 15 years ago (this one: https://www.newgrounds.com/art/view/johnnyutah/boxer-grrl) and if it is her then I don't think she was going to be a character for Pico School and was a random character Johnny made but she does feel like a character that would fit in Pico School.