it is all valid what you say, it just does not belong to this PR an is not done by adding this file ;-)