Even slicker and more Pythonic ways of generating the port list...