Work around GitHub's hobbled reStructuredText (lack of include-directive support).