GitHub #64: Add badge on edited element, RET leaves edit-mode for slider