ZoneInfo: Add a hard TODO
ZoneInfo: Inline timebox into the now-sole usage
Document that Pike 8.0.2+ incorporates this patch
window: Document the Pike versions that incorporate this patch (not that it matters - it's duck-typed)