update the relevant page if the port is updated. - more precise license marker. No package change. ok Brad (maintainer) after a small adjustment to my diff.