Tweak notes about `.proverc`.

And add credit.