Confirmed (this is Mihal, and we're both back to using our own accounts
and machines). This check-in includes minor textual changes.