Closed this issue 3 years ago · 1 comments
This should be a responsibility of the UI front-end.
Done in #7.