When pinning Everdo to the Cinnamon taskbar via AppImageLauncher, the pinned shortcut shows the correct icon. But once launched, a second taskbar entry appears with a generic gear icon. The two don’t merge.
The culprit is likely a StartupWMClass mismatch in the generated .desktop file. Running xprop WM_CLASS on the active Everdo window returns:
WM_CLASS(STRING) = "everdo", "everdo"
So the .desktop file should contain:
StartupWMClass=everdo
Comparison
Joplin, also installed as an AppImage on the same machine, with AppImageLauncher, works correctly. So this is specific to Everdo, not a general AppImageLauncher or Cinnamon issue.
I installed Everdo-1.11.14.appimage with AppImageLauncher in Linux Mint 22.3 and the integration of the symbols and launchers into Cinnamon worked flawlessly.
Thank you DidierCH and Andrej! Fritz