Drop spelling.patch, merged upstream.