InfoboxBuilder extension

It was needed before I fixed the HF.isempty() function. Thanks for noticing.