A Chromium extension (intended for Opera) for faster tab picking