#43: add htmlelements-thucydides to htmlelements-all