May Day! Are we keeping the red flag flying today, or is it still Union Jacks?