That's what I thought. Be aware that the donation of 5.8999 BTC was actually a mistake... In general, running an Electrum server is not profitable. I think only a couple of people actually break even, I don't.