Note that we are now distributing External Sources in the 'all' tarball, it's not in silva-extra anymore.
However, it could be that some user doesn't want it available so ES shouldn't become a dependency. I agree that it must be possible to edit a doc with an external or code source included and remove it, even if the ES product isn't installed.
Note that we are now distributing External Sources in the 'all' tarball, it's not in silva-extra anymore.
However, it could be that some user doesn't want it available so ES shouldn't become a dependency. I agree that it must be possible to edit a doc with an external or code source included and remove it, even if the ES product isn't installed.