[BUG #8507] use HTML view by default