А вы знаете, что имя Даздраперма произошло от лозунга «Да здравствует Первое мая!» ?

Я имя слышала только в формате шутки, а реальных людей не встречала. Может это просто советский маркетинг по популяризации праздника?)