Sphinx errors during nightly builds

The version of Sphinx was updated to 2.x on the base software stack and, with that, there is a new error on the documentation (actually a warning, but it is in pedantic mode). For this reason, the building of the editor v1 failed, and so did the nightlies.

To get a green nightly, we need to fix this.