Thanks. I tried it, and I like it, but it still doesn’t solve my problem. I believe that the problem lies in WP itself and not the plug-ins. I am trying to find a workaround (or some trick) for the 1 or 2 instances where this bug really messes things up, without disabling wpautop completely.
