Jure Šorn

I added it. Thanks a lot for the push.

I changed 'flattened_list' to 'flatter_list'. This issue should have been closed long ago. Thanks for the input but there's no space left (except for a few additional lines in Coroutines...

Thanks, I managed to clean it up.

According to [GitHub Terms of Service, section D, paragraph 5](https://docs.github.com/en/site-policy/github-terms/github-terms-of-service#5-license-grant-to-other-users): - All users of GitHub can use my content through the GitHub Service and reproduce it solely on GitHub as...

All users of GitHub can use my content through the GitHub Service and reproduce it solely on GitHub as permitted through GitHub's functionality (for example, through forking). I do not...

Thanks. This looks interesting, but there is just no more space left because I limited the whole thing to 50 pages. There are at most three lines of space left...