Improve the section about using Jsonnet#124

imobachgs wants to merge 1 commit intomainagama-project/agama-project.github.io:mainfrom

improve-jsonnet-docsagama-project/agama-project.github.io:improve-jsonnet-docsCopy head branch name to clipboard