A group of people carrying tents and their musical instruments headed to the lawn, to the merry music.