Fix #261 - add missing dot in directory name
Display truly "random" tip on startup
Merge branch 'master' of https://github.com/bbatsov/prelude

Conflicts:
	personal
	snippets