They are indeed double-escaped.