I’m just under 5ft 2” and whilst I would love to be taller, I would never consider this.
People do comment, but not what I would call bullying. I have a ‘normal’ name for my generation (eg Jo, Clare, Jane), so not unusual to find another one in a workplace or social group… to distinguish between the two of us I’ve always been called eg “Little Jo”… but then the other woman is often called “Big Jo”, so I think I have the better deal! Especially as poor “Big Jo” is usually not that big.
I have one of those small fold up stools to reach cupboards at home. Or use DH who is tall.
Petite clothing is often rubbish though - eg M&S recently altered their ‘short’ trousers/jeans so these are now too long and the ‘extra short’ are rarely available.