doc: add link to download page for remote interfaces (user's guide)
irc: fix groups in channel nicklist when reconnecting to a server that supports more nick prefixes than the previously connected server