DCdot doesn't rely on htmlSwitch no more.