In the Proxy settings (Preferences : Options dialog, Miscellaneous tab), now it is allowed to use reserved characters in username or password. For example:

username = user@a.com, password = pwd, server name = proxy and port = 3129
can be written as:

user%40a.com:pwd@proxy:3129