id	summary	reporter	owner	description	type	status	priority	resolution	keywords	cc
2	Do not always call prettyPrint in body onload	weis		"When there is no embedded code, prettify.hs is missing.
Hence, prettyPrint() should not be called.
Currently this is hard coded."	defect	closed	major	fixed