Rename pa_options to pa_args, document it