It's not in the scope of this PR. I only wanted to point it out, to ensure it won't be missed.