Manpages of runawk in Debian testing