docs: specify externalid and shortname is optional#2643

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

cubercsl:import-problem-doccubercsl/domjudge:import-problem-docCopy head branch name to clipboard