In any case, this is trivially improved, it just hasn't come up before, probably because the Controller API is somewhat niche.
-Alan
In any case, this is trivially improved, it just hasn't come up before, probably because the Controller API is somewhat niche.
-Alan