Update UL4ON to the more human readable version from XIST 5.12.