Issue #12603: Fix pydoc.synopsis() on files with non-negative st_mtime.