I had been modifying WordPress’s default-filters.php file to turn off the wptexturize and wpautop filters, but Lynne Pope says that you can instead override this at the theme level in functions.php. This makes it easier to update WordPress, as I no longer have to merge in my changes.