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)