PortalResource in the graph.
Definition files
The file name is the resource slug. A display name inside the JSON does not replace that slug.
Project tooling
The installed package documentation matches the dependency versions in the project. Use it when local editor type information is unavailable.
Widget files in a portal project
Company Widget Packages can also live in the generated project:
These files belong to the company Widget Package workflow, not to the Portal Definition JSON contract.