[ch4s3]

Do nothing here, because it’s probably not a real problem. There’s opportunity cost in spending time on nonsense.