HTML documentation not finished; I'll be offline a few days