chore: make the note on documentation PRs a comment#1437

Ocean-OS merged 1 commit intomainsveltejs/svelte.dev:mainfrom

eltigerchino-patch-1sveltejs/svelte.dev:eltigerchino-patch-1Copy head branch name to clipboard