[Dillo-dev] cut & paste in 0.7.2