Around here, we double-quote HTML attributes.