Finish --dump-instantiations option.  Update scripts.