Est-ce que quelqu'un sait si oui ou non il sera possible d'utiliser la nouvelle extension HTML5 de GTK3.2 dans Ubuntu 11.10? Ils ont annoncé que GNOME3.2 serait inclus, mais vont-ils construire les packages GTK avec la nouvelle extension HTML5 activée?