Which plugins are used in this repo?

The official site https://activiti.gitbook.io/activiti-7-developers-guide/ quite slow for me.   
I tried build on a local machine. But there's no ` plugins` defined in `book.json`. It always fails.

```
CLI version: 2.3.2
GitBook version: 3.2.3
```