max-gnome-default-settings: (7.0.max31)

  * Fix scratch launcher in infantil, close #509