What worries me is that someone will do the effort of making an index and if it's not a GIGAbrain index that does everything in 10 nanoseconds it would not get merged
Login to reply