Re: [AutoQA] #359: pretty_log: escape HTML entities