man2 was exactly the same as /doc/efun.
Most man pages are terribly old, false or bad.
