How much power does the PIR take 24/7? Maybe 3 watts. When only switching a smallish load such as 16 watts there is little saving over leaving the light on for the 8 hour day. That is before taking into account the initial cost and installation charges.
Such cynical thinking
I think more like 20ma or less for most compact sensors, so not really a consideration.
Also the existing fitting may not be led, so the change itself could bring a general saving.
Not to mention they may not want their stair light on all night.