The text file describing leap seconds is delightful. It starts with comments explaining the comment syntax, and builds from there! https://data.iana.org/time-zones/tzdb-2018a/leap-seconds.list