Don't use nxhtml mode for now.