The axe blade had a nick in it from hitting something hard. It was too big to deal with using only the sharpening stone.

So a bit of careful filing, then 600 grit and 2000 grit stone to finish off, and the edge is sharp again.