Erkki Seppälä

**Is your feature request related to a problem? Please describe.** When room-surfing during the FOSDEM among the tons of rooms I've subscribed to, it would be nice to easily see...

Internal error while flattening [QNT404] Name 'Listed' not found

1

Trying to verify the accompanying model results in error ``` Error: Internal error while flattening [QNT404] Name 'Listed' not found at resolveNamesOrThrow (/home/user/.npm-packages/lib/node_modules/@informalsystems/quint/dist/src/flattening/fullFlattener.js:91:15) at flattenModules (/home/user/.npm-packages/lib/node_modules/@informalsystems/quint/dist/src/flattening/fullFlattener.js:62:35) at compile (/home/user/.npm-packages/lib/node_modules/@informalsystems/quint/dist/src/cliCommands.js:493:104) at...

It would be nice to capture also the usage data

1

Getting easy access to this data might help maintaining the device properly, in particular if people end up sharing their experiences, e.g. how much does a fan need to be...

Hauk Android client keeps sharing previously stopped sessions

2

I've been working on an alternative backend for Hauk to provide tag-based sharing for a group trip, and I noticed the following behaviour in the network traffic: ``` client.49276-server.08080: POST...