Merge branch '21pesi1bif-master-patch-12217' into 'master'

Update public/index.html

See merge request !75
2 jobs for master in 6 seconds (queued for 1 second)