Streamline introduction.

This list of implementation options could go somewhere,
but it does not belong here.
Minor coding_basics tweaks.