Haciendo que no se escapen las comillas en WordPress

Una cosa bastante molesta que me pasa cada vez que actualizo WordPress, es que me escapa con la barra «\» todas las comillas que hay dentro de mis campos pre, que en este web son bastantes, ya que los utilizo para mostrar el contenido de archivos, fragmentos de código o interacciones con consolas.

Como supongo que habrá más gente que le pase, hay una solución bastante sencilla. Lo que hay que hacer es modificar el archivo wp-includes/functions-formatting.php, buscando la función de nombre wpautop. La última línea de esta función hay que cambiarla por:

$pee = preg_replace('!(<pre.*?>)(.*?)<'.'/pre>!ise', " stripslashes('$1') .  stripslashes(clean_pre('$2'))  . '<'.'/pre>' ", $pee);

La única diferencia con la línea original es que la segunda cadena obtenida de la expresión regular se pasa también por un stripslashes además del clean_pre que había inicialmente.

Ignoro si habrá una solución más sencilla, o que evite conflictos con las diferentes actualizaciones de WordPress, si alguien lo sabe que me lo diga 😉