The doctor should reveal his role and lead the lynch. Otherwise you risk allowing the Killer to influence the lynch too much since you have no idea who he is.