Hi all, as you know, there were a last pretty serious bug that surfaced only today: adding bookmarks to an activity added a text document with the same name as well. now that's fixed and all is built on Devel: continuous integration should be turned off again and it should be ready to go Cheers, Marco Martin