Fx: documented HelloWorld