I came here to write something else. But after typing I felt it would be sort of bikeshedding. So did not add it. And now I am going to see if any other comments sound like bikeshedding. (including this one probably.) :)