I added it because if we don't have it, then the link to proxy settings won't do anything.
Ideally, this plugin would have exposed a constant containing the Proxy Preference page ID, and we could consume the constant directly. But here it exposes nothing.
So in order to make sure people get the page when clicking, I preferred adding the bundle providing the page as a dependency even if it's not necessary for compilation.