GitLab

When the PR on Github is merged, the hotspot install will be optional in the hypercube script.

The install could be disabled with the following setting in the hypercube file:

"hotspot": {
  "enabled": false,
  ...
}