[Laszlo-dev] What is this stuff in dev-console?

[P T Withington]

./admin/dev-console.lzx.js:920:}}}) 
();Class.make("PresentationType",null,["accept",function($1){
./admin/dev-console.lzx.js: 
924:}],null);Class.make("BooleanPresentationType",PresentationType, 
["accept",function($1){
./admin/dev-console.lzx.js: 
932:}}],null);Class.make("NumberPresentationType",PresentationType, 
["accept",function($1){

It looks like some experimental stuff of mine, but I don't see it  
anywhere in the source tree.  Am I hallucinating, or did you maybe  
have some stuff in your sandbox when you last built the console?