"docs/options.md" did not exist on "debian/latest"