cados-web ignores commit folders while
  * they don't exist (obviously),
  * they are empty, or
  * they contain a file named cados-lock.
Cached data belonging to a commit can be deleted with rake
drop_database.

Javascript: Condition boxes follow the mouse cursor as long as javascript is
enabled.