chore: update properties doc#364

moshloop wants to merge 11 commits intomainflanksource/docs:mainfrom

pr/misc3flanksource/docs:pr/misc3Copy head branch name to clipboard