I wouldn't be suprised if the happy coindicence was was one of reasons for picking the name.

I always thought Erlang got its name from a measurement unit in telephony called Erlang[0]. Never looked into why this unit was called Erlang though.

[0] https://en.wikipedia.org/wiki/Erlang_(unit)

It's both.

It is officially.