Scotland’s 700,000 pupils are tumbling out of school into the summer holidays. Joy for the children, relief for the teachers, ...