Exportation of interactive worksheet
------------------------------------

GeoGebra supports two different ways to export an interactive
worksheet to a HTML page: the default one just exports the HTML page,
linking the JAR files distribuited on the GeoGebra site; the second
one also exports a copy of the JAR used to run GeoGebra and links the
local copy in the HTML page.

The second way is not supported in Debian: this is due to the fact
that the JAR files available in the Debian package are recompiled
specifically for Debian and may differ from those distributed by
GeoGebra official authors; moreover, they're not cyptographically
signed.

Thus, exporting a GeoGebra interactive worksheet along with the JAR
files is expected not to work properly; on the other hand, exporting
linking the GeoGebra official JAR files should work properly.