README: attempting to circumvent GitHub Flavored Markdown™'s lack of support for boldfacing double asterisks immediately after open paren, by use of **Finished**)