Re: [PATCH] line_number_cache corruption with buffer_replace_char()