New commits: commit f597e632d6f7923fb679bb77a6ec77423ec1c926 Author: Tuomo Soini <tis at foobar.fi> Date: Fri Dec 29 01:03:39 2023 +0200 documentation/man: fix pluto option name