Improve Rhapsode's build with newer tools, fix crashes in history infrastructure.
Add introductory messages.