Version number should be displayed somewhere in the GUI so that users can better report issues to developers.