10 ms·

Unless the first step in MS Github's downhill journey will be to cut off APIs needed for those exports.