That does mean we're right on the edge though, and should probably remove that. I suggest we remove 8.0 from the list now, and then also 8.1 from the list once 9.6 is added.
Another option could be to linebreak the whole list, but is anybody really comparing to 8.0 anymore? (We also have 7.4 in the database, but that one is hidden already)