Можем ли мы получить Gnome3-Extention: Pixel-Saver для добавления в Ubuntu 17.10? Как мы можем ходатайствовать об этом дополнении?

Наши пользователи-инвалиды действительно не могут жить без этого расширения:

Gnome 3 Addon: https://extensions.gnome.org/extension/723/pixel-saver/

Так же, как DashToDock будет принят в новую Ubuntu, можем ли мы сделать то же самое для этого расширения? Дополнительное пространство, которое он экономит для использования веб-браузера (пиксели в верхней части экрана объединяются с верхней панелью Gnome 3), очень важно для нашей работы на маленьких экранах. (Это также поможет моим сотрудникам с ограниченными возможностями)

Кто-нибудь может помочь в этом? (Я прикрепил фотографию с помощью Fedora, но Ubuntu точно так же, как и она, будет выпущена с Gnome3).