Html viewer11

<ins>, <del>, and <time> tag support.  Also fixed an issue with JPM_DEBUGGING.