Public Holidays should be used when your employees have the day off, since the specific day will be set as HOL by default, unless something else is set for a given employee.
As seen above, you can add public holidays by pressing the "New public holiday"-button, requiring you to fill in the Date of the holiday, as well as the Name of it. By pressing the "Get public holiday"-button you are able to retrieve future public holidays, requiring you only to provide the system with at least a From year date, while the To year date is entirely optional. You can also edit or delete the existing ones by pressing the
button to the left of each holiday.