Escalator at RER Luxembourg functioning at present?

They were the last time I used one several weeks ago.

There are a number of different escalators at the station and a new elevator as well located on the east side of blvd St Michel.