Add eductool-desktop#3767

eductool wants to merge 4 commits into

AppImage:masterAppImage/appimage.github.io:masterfrom

eductool:add-eductool-desktopeductool/appimage.github.io:add-eductool-desktopCopy head branch name to clipboard