After a string of not-so-bad-compared-to-elsewhere sessions, the FTSE 100 hit a fresh milestone today, topping 9,000 for the first time in its history.