The Electrum plugin was discontinued due to low interest.
Electrum plugin was made as a concept to be integrated with Electrum but Electrum programmers were afraid that mixer integration is bad for their reputation.
As it is - plugin is hard to install and ugly. But it works and has quite a few users.