Respostas:
Para BetterLock, a instalação padrão do site Cinnamon Spices deve funcionar (veja as instruções no topo desta página ). Usando o Debian Stretch (atualmente 'testando'), a instalação dos menus do sistema falhará. Para corrigi-lo, vá para ~/.local/share/cinnamon/appletse renomeie a betterlockpasta para betterlock@entelechy. Adicioná-lo ao painel deve funcionar agora.
TL; DR: BetterLock pode ser corrigido usando este comando:
mv ~/.local/share/cinnamon/applets/betterlock{,@entelechy}