We can either use file name for identifying the contracts (without the .contract), or add a separate identifier field. Using file name is preferred because the latter still allows collisions and makes honoring $XDG_USER_DIRS really complicated.
We can either use file name for identifying the contracts (without the .contract), or add a separate identifier field. Using file name is preferred because the latter still allows collisions and makes honoring $XDG_USER_DIRS really complicated.