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

  * Only enable if HOME/.infantil exists, close #462