Marco Antoniotti <marcoxa at cs.nyu.edu> writes: > Thanks for the hint. It is now fixed. > > You have not updated the web site though. Unless I do things in my sleep, you are right. I don't remember doing that.