new: html-3, f-util, binder flatten