I see KeyboardManager has delete_count, but the delete shortcut actually uses `IPython.delete_count`. Presumably it should be using this one instead.