By the way, though I did make an announcement in the Ocsigen mailing-list, I never mentioned it in this blog that version 0.80 of Lambdium-light has been available from the usual place for the last couple of weeks (sometimes I forget that no one who reads this blog subscribes to that mailing-list!). It's feature-complete, though the code will still suffer some refactoring.