rem: DecorInfo::~DecorInfo(void)
add: DecorInfo::~DecorInfo()
context: DecorInfo::~DecorInfo(void){	// Do nothing. Normal programming practice would say that one should unload	// the object's associate image_id. However, there is some  funkiness with	// the R5 kernel in which addons aren't unloaded when unload_add_on() is	// called -- perhaps it's lazy unloading or something. In any event, it	// causes crashes which are *extremely* hard to track down to this.		// Considering the usage of DecorInfo and DecorManager, we can live with	// this because the app_server will not the DecorManager is freed only	// when the app_server quits. It's not pretty, but it gets the job done.}