Forum improvements

I just upgraded the VM that hosts this forum, and enabled several new discourse plugins, including


I also just added the reactions plugin, and changed the defaults to match GitHub’s set:


You may need to force-reload your forum page to see the emoji picker on hover.

Suggestions are welcome for what other emoji would make more sense!

1 Like