add port parameter/input field to TorBulkExitList.py webpage

Currently the TorBulkExitList page [1] offers an easy way to export a list of IP addresses that allow exiting to a given IP address on port 80. Could you extend that script to accept IP addresses including port? somthing like:

1.2.3.4:443

to make it more useful/flexible?

thanks!

[1] https://check.torproject.org/cgi-bin/TorBulkExitList.py