Hide the ProTip. Closes #29

This is optional anyway.