Fibred 2-category of Grothendieck toposes?

If "Grothendieck topos" means bounded geometric morphism into a given base S, then by allowing the base to vary we can get a 2-category GTop of Grothendieck toposes, fibred over some form of ETop (elementary toposes). This is because pseudopullbacks of bounded geometric morphisms along arbitrary geometric morphisms exist and are still bounded. (I say "some form of" ETop because it may be better to restrict the 2-cells downstairs to be isos, even though we certainly don't want to do the same upstairs. Also nnos are needed if classifying toposes are to exist.) Has anyone worked on that particular combination of bounded and unbounded? Steve Vickers. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]