How do you think, do we need something like this? Please see my gitpod changes in [here](https://gitpod.io#snapshot/7fd8749e-0702-47f6-9084-8336ba09fcdc)(last commit via `git diff HEAD HEAD^`). Posting it here because i'm not sure, but already had implemented the change. If reply is positive i'll open the PR.