ports/opt (3.5): [notify] firefox-bin: updated to 72.0.1. Fix for CVE-2019-17026