Re: trivial random ports for deterministic seeding Shiro Kawai 31 May 2026 18:12 UTC