Description of the problem

We use the ZEIT/now service for continuously building the documentation for each commit. Recently, ZEIT changed their name to Vercel (https://vercel.com/blog/zeit-is-now-vercel). The configuration file now.json also changed to vercel.json. We may need to update it accordingly.

I may be wrong here, as I didn't check the documentation carefully.