Add HELLO.df example back.