problems than it solves. In stead, put a warning near the top of the
welcome message. Fixes (or, rather works around) bug #764975.