The first pulsar was nicknamed "Little Green Men" — Anecdota