F-Droid tries to connect to Tor/.onion URLs via HTTP proxy.

• Device OS and version: Android 12
• F-Droid version (in the About screen): 1.15.5

What did you do? (clear steps if possible)

Configured F-Droid to use a HTTP Proxy.

("Use Tor" toggle was disabled.)

What did you expect to see?

Only regular(non-Tor) HTTP traffic to be sent to the HTTP Proxy

What did you see instead?

F-Droid was making requests to various Tor / .onion URLs via the HTTP Proxy.

Eg.

2023-01-21 16:17:53 GET http://fdroidorg6cooksyluodepej4erfctzk7rrjpjbbr6wx24 jh3lqyfwyd.onion/fdroid/repo/de.moekadu.metronome/en- US/icon_TaPzwMgHJWbFmdFocM03TsGRTl7zOJy5M3msQ24a3ZE=. png
← Connection killed.

User-Agent: F-Droid 1.15.5
Accept-Charset: UTF-8
Accept: /
Host: fdroidorg6cooksyluodepej4erfctzk7rrjpjbbr6wx24jh3lqyfwyd.oni on
Connection: Keep-Alive
Accept-Encoding: gzip

2023-01-21 16:18:00 GET http://ftpfaudev4triw2vxiwzf4334e3mynz7osqgtozhbc77fi xncqzbyoyd.onion/fdroid/repo/com.shabinder.spotiflyer /en-US/icon_thUbhx0uJAq4WiC069oqFjah8QZ5feyfQx2Hn3zj8 mQ=.png
← Connection killed.

User-Agent: F-Droid 1.15.5
Accept-Charset: UTF-8
Accept: /
Host: ftpfaudev4triw2vxiwzf4334e3mynz7osqgtozhbc77fixncqzbyoyd.oni on
Connection: Keep-Alive
Accept-Encoding: gzip