Out of the names mentioned I'd prefer Williamson out of anyone.
Gateshead are a big club for that league and he did what was required. If he can get Notts at least battling for the title next year - it'll be an improvement. Not sure he'd actually leave though, sure he's got a bit of leeway at Gateshead early in his managerial career - he certainly wouldn't have here.

