Yes -- I'd like to see the doc update as a separate commit.