Thanks! Good to hear that it wasn't *only* me being a bad workman that led to the messy first cut

I'm going to try using white vinegar to remove the glue marks once the white spirit has evaporated -- the Internet tells me that it works well on wood glue, and my other half uses it for pretty much all of our household cleaning so we've got 15 litres of the stuff knocking around. Worst case is that it won't work and I'll have to get something specialised.