Change 'flatten' to 'flattenHTML' in 'util.js'
Change 'flatten' to 'flattenHTML' in 'util.js'

wenru/ibex,hlplab/hlpspr1,hlplab/hlpspr1,addrummond/ibex,addrummond/ibex,wenru/ibex,addrummond/ibex,hlplab/hlpspr1,addrummond/ibex,wenru/ibex,wenru/ibex