((p "Zettel with the role " (@L (@H "“") "manual" (@H "”")) " contain the manual of the zettelstore."))