man.cpp restored as a demo. import bug fixed