IntrospectionTool: Move LogMixin here, introduced 11 years ago but never finished nor used elsewhere.
