Update dev-server.rst#18

Seltraeh wants to merge 1 commit intodecompfrontier:maindecompfrontier/decompfrontier.github.io:mainfrom

Seltraeh:patch-4Seltraeh/decompfrontier.github.io:patch-4Copy head branch name to clipboard