https://www.marcosbox.org/2018/03/cinnamon-3.8-app-launching-faster.html