doc: Add a slug

Guido Güntherrequested to merge
guidog/phoc:doc-slug into main

Otherwise it appears in the docs as "Unknown document"

Signed-off-by: Guido Günther agx@sigxcpu.org

Merge request reports