[suspected bug] Downloads from PD through DuckDuckGo could not be located anywhere on my Galaxy device. Reported to support, who recommended I try another browser. Indeed: no such problem with Chrome. But may still be worth looking into.