There's a closed pull request on the void-packages repository Update Manual.md https://github.com/void-linux/void-packages/pull/19013 Description: annoying dot in commit message. different from the general style