Hi Eric, why does py-spyder{,-devel} actually depend (library dependency) on py-htmldocs. I understand that the py??-htmldocs provides the respective python documentation, so why would I need it as dependency of a python module/application? I think py-spyder{,-devel} to do so. Thanks for the clarification! ~petr