I think I finally figured out why the PRE tags weren’t rendering in comments — WordPress was stripping them out because they weren’t in the allowed tags list. The reason this was hard to track down is because apparently that list doesn’t apply to me (as an admin).
In any case, I’ve implemented a . . . → Read More: PRE tags in comments finally fixed, I think