diffbook to aid translators of web2py-book