software/theia: Fix favicon generation

software/theia/buildout.hash.cfg

@@ -15,11 +15,11 @@
 
 [instance-theia]
 _update_hash_filename_ = instance-theia.cfg.jinja.in
-md5sum = 09df701afb9a2e3927f42a71976bf03d
+md5sum = 11274189a4492204e046fef45fdd809c
 
 [instance]
 _update_hash_filename_ = instance.cfg.in
-md5sum = 9a5d6ac099c460481af7c1bdfd8de770
+md5sum = 063d3e19da9d3d4bfb77e8e638aa3a77
 
 [yarn.lock]
 _update_hash_filename_ = yarn.lock

software/theia/instance-theia.cfg.jinja.in

@@ -285,7 +285,7 @@ install =
   self.buildout['buildout']['offline'] = 'false'
   try:
     gravatar_url = "https://www.gravatar.com/avatar/" + hashlib.md5(
-      '''$${slap-configuration:root-instance-title}'''
+      b'''{{ root_title }}'''
     ).hexdigest() + "?s=256&d=retro"
     shutil.copy(self.download(gravatar_url), '''$${:location}''')
   except Exception:

software/theia/instance.cfg.in

@@ -27,6 +27,7 @@ mode = 0644
 context =
   jsonkey default_parameter_dict :default-parameters
   key parameter_dict slap-configuration:configuration
+  key root_title slap-configuration:root-instance-title
   key ipv6_random slap-configuration:ipv6-random
   key ipv4_random slap-configuration:ipv4-random
 default-parameters =