---
- name: Install gnome extensions
  gnome_extensions:
    - id: 4207
      enable: true

    - id: 6242
      enable: true

    - id: 7
      enable: true

    - id: 517
      enable: true