4 ms·

Didn't really change anything. PureScript is in goood hands of the maintainers and contributors currently.