Did anybody measure how large a hello world tornadofx application is (compared to a JavaFX hello world?) I think that might be important information for a lot of guys and could be added to the documentation somewhere