oh, this one!

I also has seen other tagging likely referring to it, in addition to shop=rotary_iron :

shop=ironing
shop=ironingshop
shop=mangle
amenity=mangle

likely it would be nice to document best value at OSM Wiki ( see https://wiki.openstreetmap.org/wiki/Creating_a_page_describing_key_or_value ) but this note can be closed

(I am not sure which value is best here, maybe I should ask on forums)