Fixing options.github_fork in kr sphinx theme settings