Asking the CSS sourcemap expert on the DevTools eng team…