[stkdump]

I am not sure, if in the hour since you posted your comment stuff was deleted. But which exact comment do you refer to?

[m_mueller]

The dead comments. I think you can activate them somehow.