{
  plugins.web-devicons.enable = true;
}