ISO installs should be fixed now ?

images.md

@@ -8,10 +8,6 @@ This page requires Javascript enabled to display properly :s.
 
 N.B. : Even if the image does not corresponds to the latest version of YunoHost, you can still use it and do a regular system upgrade after setting up!
 
-<div class="alert alert-danger" markdown="1">
-The current installation using our Virtualbox / x86 ISO is broken and will fail for now... We are investigating the issue [here](https://github.com/YunoHost/issues/issues/1382). In the meantime, a workaround is to use the official Debian 9.x (not 10 !) image and install YunoHost on top of it as explained [here](https://yunohost.org/#/install_on_debian)
-</div>
-
 <div id="cards-list">
 </div>
 

images_fr.md

@@ -8,10 +8,6 @@ Cette page requiert que Javascript soit activé pour s'afficher correctement :s.
 
 N.B. : Même si l'image de corresponds pas à la dernière version de YunoHost, vous pouvez tout de même l'utiliser puis faire une mise à jour du système après l'installation !
 
-<div class="alert alert-danger" markdown="1">
-L'installation à l'aide de notre ISO Virtualbox / x86 est actuellement cassée ... Nous investiguons le problème [ici](https://github.com/YunoHost/issues/issues/1382). En attendant, il est possible de contourner le problème est d'utiliser l'ISO officielle Debian 9.x (pas 10 !) et d'installer YunoHost par dessus comme expliqué [ici](https://yunohost.org/#/install_on_debian)
-</div>
-
 <div id="cards-list">
 </div>
 

install_iso.md

@@ -15,10 +15,6 @@ You can use any computer with **256MB RAM or more**.
 * A **USB stick** of at least 1GB capacity **OR** a standard **blank CD**
 * ***Particular case*** : If your server has no graphic card, [prepare iso for booting with serial port](https://github.com/luffah/debian-mkserialiso).
 
-<div class="alert alert-danger" markdown="1">
-The current installation using our Virtualbox / x86 ISO is broken and will fail for now... We are investigating the issue [here](https://github.com/YunoHost/issues/issues/1382). In the meantime, a workaround is to use the official Debian 9.x (not 10 !) image and install YunoHost on top of it as explained [here](https://yunohost.org/#/install_on_debian)
-</div>
-
 ---
 
 ## Installation steps

install_iso_fr.md

@@ -14,10 +14,6 @@
 * Une **clé USB** d’une capacité minimum d’1Go **OU** un **CD vierge** standard
 * ***Cas particulier*** : Si votre serveur n'a pas de carte graphique, il faut [préparer un iso qui démarre sur le port série](https://github.com/luffah/debian-mkserialiso).
 
-<div class="alert alert-danger" markdown="1">
-L'installation à l'aide de notre ISO Virtualbox / x86 est actuellement cassée ... Nous investiguons le problème [ici](https://github.com/YunoHost/issues/issues/1382). En attendant, il est possible de contourner le problème est d'utiliser l'ISO officielle Debian 9.x (pas 10 !) et d'installer YunoHost par dessus comme expliqué [ici](https://yunohost.org/#/install_on_debian)
-</div>
-
 ---
 
 ## Étapes d’installation

install_on_virtualbox.md

@@ -9,10 +9,6 @@
 * An x86 computer with VirtualBox installed and enough RAM capacity to be able to run a small virtual machine.
 * The latest stable **YunoHost ISO image**, available [here](/images).
 
-<div class="alert alert-danger" markdown="1">
-The current installation using our Virtualbox / x86 ISO is broken and will fail for now... We are investigating the issue [here](https://github.com/YunoHost/issues/issues/1382). In the meantime, a workaround is to use the official Debian 9.x (not 10 !) image and install YunoHost on top of it as explained [here](https://yunohost.org/#/install_on_debian)
-</div>
-
 <div class="alert alert-warning" markdown="1">
 N.B. : Installing YunoHost in a VirtualBox is usually intended for testing. To
 run an actual server on the long-term, you usually need a dedicated physical

install_on_virtualbox_fr.md

@@ -9,10 +9,6 @@
 * Un ordinateur x86 avec VirtualBox installé et assez de RAM disponible pour lancer une petite machine virtuelle.
 * La dernière **image ISO YunoHost** stable, disponible [ici](/images_fr).
 
-<div class="alert alert-danger" markdown="1">
-L'installation à l'aide de notre ISO Virtualbox / x86 est actuellement cassée ... Nous investiguons le problème [ici](https://github.com/YunoHost/issues/issues/1382). En attendant, il est possible de contourner le problème est d'utiliser l'ISO officielle Debian 9.x (pas 10 !) et d'installer YunoHost par dessus comme expliqué [ici](https://yunohost.org/#/install_on_debian)
-</div>
-
 <div class="alert alert-warning" markdown="1">
 N.B. : Installer YunoHost dans une VirtualBox est utile pour tester la
 distribution. Pour réellement s'autohéberger sur le long terme, il vous faudra