Manual.md: mention where pkg build options are defined.