bashrc: keep man pages lines up to 80 characters