Good question. Not part of this PR, though.