update man page for Singular 4