/.config/fish/functions/tide/configure/choices/lean/