One Saturday in mid-September I spent a morning in the Royal Mile in Edinburgh. No: not for that. I was there for a...