In case it's helpful to others -- in the meantime, I'm using this extension (with Drupal Coder) for formatting PHP files:
persoderlind.vscode-phpcbf
And the Devsense PHP extension (devsense.phptools-vscode) for all the awesome coding help functionality (I honestly don't know what it's all called -- "Code Lens," as one example).
