It is/can be helpful: e.g. for #MIP reports (mentioned in passing), when I am bug #hunting I report bugs I see (to add later more details) b[…]