How to use coqc's `verbose` option?

Using Rocq
1

Hello,

I noticed that the -verbose option of coqc does nothing anymore (in version 8.15.0), however, it is still in the manual of coqc. Has this functionality been removed?

Thanks for your help!