doc/dev describe tool for detecting unused code (#759)

Joachim Wuttkerequested to merge
j.docunused into main

This resolves #759 (closed).

Merge request reports