Yeah, this is an 'old' file that I just found. Should have been included in a previous PR.
Actually, it doesn't do much and could be removed.
Let's make a decision! :-)