Delete dump-logs dev script?

[jotaen4tinypilot]

We have a dev script called dump-logs, which apparently is there for backwards compatibility.

We introduced it 4 years ago, but then migrated to the collect-debug-logs privileged script 3 years ago. This is also where we introduced the backwards compatibility note.

It doesn’t seem like we reference this script anywhere anymore, so maybe it’s safe by now to delete the script. In the support forums, we only seem to have advertised usage twice in 2021.

The canonical way for users to share debug logs is via the web UI (“System” → “Logs”).