MR 333: Finger Trees has released

Finger Trees has released now.