pull down to refresh

There is an independence day too (https://en.wikipedia.org/wiki/National_Liberation_Day_of_Korea), but I don't think it has the same feeling to it as in the US. People are mostly just happy to get a day off. No specific celebrations for most people.