However the electrum doc states
"New addresses are generated automatically when your receiving addresses are used"
How does this work then?
I suspect this is an error in translation from another language. As far as I know, Electrum does not automatically generate a new address every time a previous address receives bitcoins.
Of course it does, it is called gap limit.