Add comments about badge colours

- These are purely for our benefit