After discussion IRL we decided to add an `XXX` comment until we address the issue in a next PR.