I think this note can be safely closed because there's nothing to do here and the original note was created anonymously, so they won't be notified. If anyone disagrees, please feel free to reopen and comment.