view_mail.js: more improvements to mail forwarding