ditto badges + some adornments in XML stuff