It does matter what tool is used when unpacking the zipped IDE on Linux.

• The symlinks for clangd must be preserved (Failed to start language server. Bundled clangd: File too short arduino-pro-ide#213 (comment) ),
• The execution rights for the shipped binaries (arduino-cli, arduino-language-server) should be kept (arduino-cli daemon issues on Arch Linux arduino-pro-ide#326 (comment) ) as is.

This thread revealed it is recommended to use unzip for unarchiving the IDE.

We should document this into the main readme.