The painful fact is that it does include the leap seconds before January 6th 1980. Makes it messy to convert between UTC and GPS time.

I think all the online converters I found a couple of years ago failed to get this right.