we can remove this file completly: it was pushed there more or less by accident.