re-add old find-manifold.py