Open Texbio opened 3 years ago
Preferably you make a separate issue for each feature. Suggestions related to the discord are best posed in the discord (although, now, you'll have to do it in general chat)
Your suggestions are quite small though, so I'll leave your issue be for now.