don't convert "&code;" strings in docbook generated html