Dan Rosart

Fixes cjb/codex-blackboard#252 Fixes #275

Last was being checked, but it wasn't being updated.

Connection status light

1

Adds status light next to mute button that changes color based on connection state. if connected, connecting, or waiting to retry, clicking it disconnects. If manually disconnected or retry attempts...

Support application default credentials

1

If the encrypted pem is missing, or a key or password isn't set, try to use application default credentials instead.

Link to github issues page from blackboard

1

So users can report issues when they experience them instead of us paraphrasing a bug report from the mailing list afterwards.

Use FontAwesome icons

1

Distinct from #289. We don't have to install anything since we can use the free set via their CDN (see https://fontawesome.com/get-started) and we'd get access to a lot more icons....

Always show the whole list, now that it uses mini-gravatars instead of nicks. The alternative was that it would reflow, potentially moving it out from uder the cursor and flickering....

Bot doesn't check for existing puzzle with a name

1

If you say "bot X is a new puzzle in Y" and a puzzle named X exists, the bot should say so and abort, not move X to Y.

We currently represent location as an embedded document with 'lat' and 'lng' fields. MongoDB has native geospatial query abilities which we could use to, for example, publish a synthetic collection...