Rename detect-deadlocks in docs too