FAQ

Here are some answers to frequently-asked questions from IRC and elsewhere. Got a question that isn’t answered here? Try the discord server, or filing an issue in the bug tracker.

How do I…

tbd…