elf: implement html output