Documentation website is down

The documentation website seems down: https://dgraph.io/docs/badger

It is now fine.