Not sure if this is the right place to ask, but is anyone considereing just to use <super> instead of <super><space> in Isis?
Not sure if this is the right place to ask, but is anyone considereing just to use <super> instead of <super><space> in Isis?