Resolve "Merge documentation into this repository"

Closes #389

added priority::1 scope::Backend status::Doing + 1 deleted label

assigned to @mweise

enabled an automatic merge when the pipeline for 217b9b9f succeeds

mentioned in commit 2bf98aa5

merged