renamed to point to another release
delete obsolete
watch for never-happening events in double-det algorithm