Revert "Remove obsolete file"
This reverts commit
b412397b3d614930f7b92b5d644e500a0d3f5199.
It is quite unclear to me why I thought this file was obsolete. I
can't find thej same info anywhere else.
prune weird branches etc.
as found, moving from ..