Re #9647. User has to pick either html or qtassistant.