Aux Name Enhancement

[isabel]

On naming things

I mean if we’re keeping with the axolotl theme we could use the extension .axl. As far as I can see it’s not taken by anything recent.

I quite like the name shorting here axl over auxo.