Thanks. For reference, the tracking bug for this area is: Bug 14123 – Make MediaWiki more AJAXy https://bugzilla.wikimedia.org/showdependencytree.cgi?id=14123&hide_reso... Hoo *tripled* the number of patrollers in en.wiki by making patrol AJAXy (bug 7851/15936), so it's definitely an area worth working on.
Nemo