Charlotte Van Petegem

If one wants to store the database in a non-default location, the `command-not-found.sh` script will not work right now. If we could configure the database location in an environment variable,...

With ```elisp (use-package editorconfig :ensure t :config (editorconfig-mode 1) ) ``` I get `Warning (editorconfig): Failed to get properties, styles will not be applied: (editorconfig-error "Invalid editorconfig-get-properties-function value")`, and the...

Second divider in profile menu is too short

2

 This could be related to my browser having a non-standard font size configured, but we shouldn't have this issue in that case either IMO.

The error is sent back using JS, but something seems to go wrong during its execution (or maybe it's not executed at all?).

 Page I noticed this: https://dodona.ugent.be/en/courses/1753/submissions/

See e.g. request ID 833d6815-ed90-4238-b711-6ec3176a3450. I would write a generic message that the CSV is malformed, and then include the exception message as "technical information" (since we can't really translate...

For example: https://dodona.ugent.be/nl/submissions/10253786/