Refactored dinodex based on Franco's comments

What's a `userq`? A better name might be `user_query`