INSTALL: better note about short names.