Vue Devtools in production configuration

Dear colleagues,

I have noted that since v12, we get console logs like

Download the Vue Devtools extension for a better development experience:
You are running Vue in development mode.
quill Overwriting formats/link with MyLink()

and this is in each production instance. Should this be in develop only? I know this does not hurt as is, but still I think it should not be there in a productive system… Can we link this to the develop instance of ERPNext? I.e. only enable if bench is in --develop?