doc: use standard IRC ports in example configs

This commit is totally not a joke, really.