Results 61 comments of nullobsi

@Bartkk0, thank you for the PR and great suggestion. I will close this PR as it is superseded by #122; there can also be discussion in #94.