Add an option to auto open comment navigator when a user is highlighted

See also 0df621c056e663844f11ed6c9b65a46036a7a327