Rated 5 out of 5 stars

I just want to thank the dev for an excellent *WINDOW* sizing extension that has nothing whatsoever to do with the viewport. :) I suppose having a viewport option (or separate extension entirely) might be useful for the extreme few that need/want that, but it would be irrelevant to me and the rest of the huge majority of users. The only additional feature I might want is being able to select the origin as well as the size, but it's easy enough to do with javascript, so... meh.