#9 Make port IDs visible in the html