great educational post!
perhaps you could also mention virtual ans (https://warmplace.ru/soft/ans) ? it's freeware, and it's meant to be a software recreation of the famous ans synth, but in practice it's an offline spectral editor akin to those others you mentioned
it's awesome, i really like it and use it a lot
AliceMako
Big fan of SpecOps, pairs really well with Silo by the same people and Fritz by Lectric Panda. They're not the kind of tools you'll need in every scenario but for the times that you do, they're great.
Wilieu
Ill give those a look!