Added documentation explaining the addition of a grace period, equal to ...

..."clockskew", to expiring tickets.