doc: fix new URL for Patmos mailing list