For background, see the conversation in #398.  I'm definitely open to doing it differently if you have a suggestion.