Convert a lone double-quote to &dquot; so it won't confuse the heck out
of syntax highlighting editors; remove a redundant copyright notice;
answer a frequently asked question about /dev/null.