Hello HomePod.

@gruber re the state department house style: the only thought that went into the decision was most likely “let’s just make the current Microsoft Office default font our standard instead of the one from 20 years ago”