Manual.md: replace xbps-packages by void-packages