I know there's a Korean pop culture term called "pikot" which refers to short and cute girls, often associated with idol groups. So maybe "pinkotgrils" is a mix of "pikot" and "girls," perhaps a misspelling. Alternatively, "pink otgirls" could be a play on words, emphasizing both color and the cuteness.