Added documentation explaining the addition of a grace period, equal to "clockskew", to expiring tickets.