Current house style is to prefer double-quotes.