If no obvious solution comes up, let's open an issue to track this for the future.