That came out different than I had intended. Of course people use double-sharp keys. And like you said, it is usually done in cases where it is the simpler not

That came out different than I had intended. Of course people use double-sharp keys. And like you said, it is usually done in cases where it is the simpler notation to describe what is happening musically. Simplicity is beautiful and construction of the major key in E-flat is decidedly simpler than in D-sharp.