The patch is taken from https://wordpress.org/plugins/responsive-twentyten
but is merged into the base twentyten theme so as not to require
a plugin.