Update External plagarism detection.html#9

Imene1 wants to merge 1 commit intopan-webis-de:masterpan-webis-de/pan-webis-de.github.io:masterfrom

Imene1:patch-1Imene1/pan-webis-de.github.io:patch-1Copy head branch name to clipboard