Recent developments in the theory of HARPES