This doesn’t actually sound too ridiculous to me, or maybe when this happened :
When was the last confirmed sighting of a Pet Gnome in Arena, does anyone know?
Agreed that, “we didn’t change anything about Pet Gnomes in 5.2” doesn’t necessarily indicate that “Pet Gnomes can definitely, currently be found in Arena battles”.