docs: collapse redundant frontend test commands in SETUP.md#87

dan323 merged 2 commits into

task/update-docs-if-needed-037bf5dan323/natural-deduction:task/update-docs-if-needed-037bf5from

copilot/sub-pr-86dan323/natural-deduction:copilot/sub-pr-86Copy head branch name to clipboard