New comment by flexibeast on void-packages repository https://github.com/void-linux/void-packages/issues/22890#issuecomment-653477977 Comment: @dm17: No, "Pull Request", i.e. "feel free to create a pull request that adds sample documentation".