No we never used polyfill.io.
A polyfill is a generic term
> Polyfills allow web developers to use an API regardless of whether or not it is supported by a browser, and usually with minimal overhead.
https://en.wikipedia.org/wiki/Polyfill_(programming)