Говорят, ИХ нынешнее название произошло от потери приставки. Злые языки находят в этом названии нечто общее с женщинами-программистами. Шутники использовали это название для еще одной расшифровки аббревиатуры ВМС. А одно из ИХ заморских названий можно посчитать увеличенным 1) мальчиком-с-пальчиком 2) Дюймовочкой 3) поросенком Фунтиком 4) пигмеем