Although there are several hex editors available, were there any specifically made for Divine Divinity?