I know we have the Place plugin, but when it's turned off, it would be great to be able to affect the window position programmatically, e.g. window.set_position(Gtk.WindowPosition.MOUSE). Or at least to move it to desired coordinates with window.move(x, y). Could it be considered?