Attempt to work around GitHub .rst bugs.