(un)Remove apparently unused file (reverted from commit 1676ea0be7dbfb6ff36ffd7f190b0ebcbfcb37a4)