I got enough of the poor functionality of com.android.providers.downloads
So I decided for a better alternative download manger.
But how can I choose the alternative as preferred download manager? My alternative download manager is listening to my clipboard. But this does not help me, because not all addresses to online files can be easily copied into Android's clipboard.