Hi all, This is mostly for Christian, I suspect, but we have an alias for "bookbugs" but not for "book-bugs." We advertise the latter on the webpage. Keeping both is fine, but we should keep the one that is out there. I'll get you an SSH key so I can get into the host and do this kind of thing myself... Cheers, M