Dummy commit to (hopefully) trigger AsciiDoc regeneration on GitHub

AsciiDoc rendering for README files was broken on GitHub (see
https://github.com/github/markup/issues/180 ); this was fixed, but
some comments indicate that the fix only takes effect if the branch
is updated.

So let's do a dummy change to the README to test this theory.