Add real-delete with leader key. Format comments. Update TODO.