Google shortnames bug persists despite Google insisting it’s fixed