We’ve been making changes to the web experience and this page includes a new look. You can
switch to the new user interface.
Also, we would love to hear your feedback! Let us know what you think in
improved robustness of isapprox, fixed #7