Good idea! I opened an issue here: https://github.com/returntocorp/semgrep/issues/6331