Files
dotfiles/fish/functions/tide/configure/configs/lean.fish