There is no documentation on how to use pragma

[devbugging]

This relates to Cadence documentation but at the same time since you use pragma arguments with the codelensses and extension it relates to vscode as well. There is no good documentation around how you can deploy a contract, execute transaction or script with arguments using the pragma arguments. This should be documented.