@srpearce I'm not sure, it's not specific to these tools. But if we do, to be consistent, we should do it throughout the whole file.