Thanks for the review, @Jimryan.
Now that I’ve settled down after my little tantrum, I think I can just about live with the Aux signal going to 1/4” main output but not the XLR output, although in some situations it may mean having a secondary DI box post 1/4” out but oh well...