[21:31:59] it would either be May 1-3 or May 8-10. is there something bad about May 1-3? (re @wmtelegram_bot: by "first week of May" do you mean the one starting April 27th (where May 1st falls), or the one starting May 4th (which...) [21:32:33] https://en.wikipedia.org/wiki/International_Workers%27_Day [21:32:49] https://en.wikipedia.org/wiki/International_Workers%27_Day#/media/File:Vappu2005kuvaPK.jpg [21:40:10] what Reedy said, and in particular that year I'll be busy doing this https://commons.wikimedia.org/wiki/File:20070501_022.JPG