There is no version 4.0.0a of Electrum, it has not been released, it is misleading to refer to it.
https://news.ycombinator.com/item?id=22883382
He also needed to change some dependencies so it's more complex than what I wrote.