thanks for your comments!

I did not know for sure that the deployed contract was the LLL one. I also take your point about the registrar name. I have updated the article on both cases.

I’m going to add the EIP pr as a resource at the bottom. I’m glad that Jorge has added it and suppose that it will eventually be processed. Thanks for pointing out!