Removed file that is not needed, at least for now.
Removed comment about metastability problem because no longer relevant.