Let's try to finalize and merge the following PRs: - [x] #1967 - [ ] ~~#1965~~ - [x] #1943 - [x] #1932 - [x] #1477 - [x] #1969 What do you think? ________________________ - [x] #1974 - [x] #1972 _________________________ - [x] #1986