UK coastline shapefile?

I'm looking for a shapefile for the coastline of the UK.

I'm guessing the Ordnance Survey 'geo-portal' is the best place to get this, but whenever I go to the Ordnance Survey site I get the shakes. (Seriously, trying to find any data on that site is really traumatic. I don't have a spare three days.)

Does anyone just have a simple URL for such a shapefile?