Resolved in [24d94be].