Closed Korosensei42 closed 5 years ago
This adresses #115, but might be changed due to further additions and the open questions in #115
Feel free to still change the text though.
As the PR was approved before and I only changed minor things, I will merge now.
This adresses #115, but might be changed due to further additions and the open questions in #115