trailing whitespace from lines.
(Overview): Added a missing "General" to the name of the license.
	Don't talk about my private future plans.
(Installation): Refer to README.
(DBCK Bugs): don't say that dbck doesn't lock the database; it does.
(Function Templates for prot-a-send-async.c): Improve the markup.
(Configuration Options): Mention --with-traced-allocations.
(local-to-global): New node.  Not yet translated.