Opera is a very impressive browser for Pocket PC providing lightening fast and faithful rendering of web pages with fewer incompatibilities than Pocket IE, however one of it's features is that it requires proxy server settings to be manually set rather than using the device's current default.
Usually this is fine but in an education situation, where a device may be for use in and out of the school, it may be inconvenient to ask the user to keep switching between different Internet connection settings, e.g. school and home.
While searching around on the net for a solution I came upon ChooseOperaIni:
http://forumfrancophone.info/fadof/viewtopic.php?p=793#793 It's a simple (although not yet pretty!) script that you can run on your PPC to switch between different Internet profiles and so far appears to work well. Probably a lot easier than asking users and young learners to remember different sets of I.P. numbers and proxies!
Thanks to Andy and Phil @ Bristol CLC for testing this solution!