### Description As far as I can tell, the `OPTION` statement is completely undocumented in the public documentation. We should fix this. ### Is there an existing issue for this? - [x] I have searched the existing issues ### Code of Conduct - [x] I agree to follow this project's Code of Conduct