* Edit doc/terminatorrc.5 manpage to contain the information about the options