Manpage: it's not exactly at random anymore