GUI Task managers have existed for decades. If this issue is really bugging you: - Buy a cheap Mac style keyboard and configure it as such. See kinto. - Use

GUI Task managers have existed for decades. If this issue is really bugging you: - Buy a cheap Mac style keyboard and configure it as such. See kinto. - Use a terminal with “smart paste” for a decent workaround.