Doc index - gnome-shell-extension-launch-new-instance
Packages contains this documentation
Package: gnome-shell-extension-launch-new-instance
apt-get install gnome-shell-extension-launch-new-instance
apt-get install gnome-shell-extension-launch-new-instance
Documentations in package: