About 5 years ago it was in QRs, probably still is! You can leave up to one year early, but it does have a small effect on pension or gratuity, I can't remember which but its all there in black and white. Also most posters knew (still know?) all about it because for them someone invoking it was a nightmare scenario!!