You are talking about a vulnerability that was fixed with the release of Electrum version 4.2.2. The person who lost their coins was using Electrum version 4.3.2., so that issue would have been fixed a long time ago. Julerz12 must have done something else that resulted in someone stealing his money.