[crux-commits] ports/opt (3.6): [notify] webkitgtk renamed to webkitgtk-40 to make way for new webkitgtk version