<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><br>
In particular, we are missing:<br>
OpenLayers,<br></blockquote><div><br></div><div>I realized a bit late that OpenLayers is installed on the LiveDVD. Looking into the install script tells me that it installs version 2.8. Currently OpenLayers is 2.9.1.</div>

<div>Is it OK to just change this? </div><div><br></div><div>Daniel</div><div><br></div><div> </div></div><br>