* src/bin/man/genltl.x, src/bin/man/ltlcheck.x, src/bin/man/ltlfilt.x, src/bin/man/randltl.x: Use .BR in the SEE ALSO section.