Maybe we should suggest check="decl" for sandboxing so that people can actually see their code without linking - if you're sandboxing, you're going to put everything in one box anyway. Yes, I made up the word sandboxing. — Rob (and his talk) 01:07, 12 October 2006 (EDT)
And I'm not sure we should promote this off the front page - it's kind of an inconvienent way to try twelf unless you happen to be a MediaWiki hacker. — Rob (and his talk) 01:20, 12 October 2006 (EDT)
I was really looking forward to this, great idea for giving people a chance to try twelf, but it seems to be broken.
I think one of my queries brought it down.