Added tool for listing ED plugins; sometimes crashes