Make manual on drop-option more explicit

Closes #396 (closed)

Merge request reports

Loading