Plugin's Settings-User menu points to the right file.