user_personal.js - please make it eaiser for customization

console.print("\x01u[\x01UA\x01u] " + gettext("Alias") + format(": \x01U%s", user.alias));

It's going to be hard to mod the colors with the hotspot built into them like that. I would have to create a new override for every single one. There has to be a better way to do this going forward to standardize on easier customization of colors and other stuff, I like to use () rather than [] for example.

Shouldn't this be using options so a .ini file can be created?