Add a bunch of pseusocode and some initial, untested, Bugzilla stuff.