Ctrl+P
This is a VSCode extension for opt-gen language. It provides syntax highlighting and symbol navigation.