{"name":"Closed Interval","short_name":"Closed Interval","description":"Random findings from things I enjoy.","start_url":"/","display":"standalone","icons":[{"src":"/icon.svg","sizes":"any","type":"image/svg+xml"}]}