web commit by NicolasLimare: how to use plugins from $HOME