Add option --no-web-ui to skip processing of settings access via the GitHub Web UI
Sometimes the Web UI is not accessible or slow, in such cases it would still be beneficial to use otterdog without accessing such settings (as they are of minor importance anyway).