johannes My post on the bug I described here 3 days ago was hidden by @Bastiaan . Initially I posted it as it's own thread.
This is what he said after hiding my topic:
Can you maybe report this bug in the following topic?:
This way we keep all Android-related bugs centralized in one topic 👍🏻
... So it seems that this is THE android bug topic.