More cleaning up; also added "markdown" file for
GitHub formatting.