Added version 0.9.4 to "What's new?" and explained how to disable the
online-update.