new debian packages: 0.8.9.2-4
pages re-generated