Only change title for maximized windows
Fix: consider window maximized only when it is both horizontally & vertically maximized
Add a preference for setting title just for maximized windows
Use convenience.js from gnome-shell-extenstions