The DR1 daily news digest will not be published on Monday, 5 May, the official Labor Day holiday. Labor Day or International Workers’ Day is 1 May, but as it fell on a Thursday this year the Ministry of Labor moved its celebration to Monday. News will be compiled for the Tuesday, 6 May issue. For breaking news and 24/7 comments, see the DR1 Forum at www.dr1.com/forums