REMINDER: please put the portname in ports PRs

[Mark Linimon]

Recently the number of ports PRs without the name of the port in the
Synopsis line has started going back up again.  As a reminder, we
have more than 13,000 ports in the Ports Collection, and although
_you_ know which of these 13,000 your PR applies to, a casual reader
might not.  This is especially important if the PR does not get
immediately committed and instead sits around in GNATS for a while.
Failing to include this information generally means that it takes
longer for someone to work on the PR -- in particular, it is hard
to assign a PR to a maintainer if you can't figure out who the
maintainer really is.

As a further reminder, ports PRs are category 'ports', not 'misc'.
'misc' is our most useless PR category; almost everything in there
should either be 'kern' (affects machine-independent kernel, driver,
or library code) or 'i386' (problems noted on that architecture only.)

Thanks.

Mark Linimon
bugmeister