[dotancohen]

That's an interesting idea. But it makes other key combinations quadruple buckies. For instance, in JetBrains IDEs Ctrl-Shift-4 sets bookmark number 4.