I went down while the car sat in storage for a year. After I topped it up, the level didn't change. Whatever leakage occurred seems to have stopped when regular operation resumed. It probably isn't a bad idea for me to check my booster for fluid though.

__________________
Whoever said there's nothing more expensive than a cheap Mercedes never had a cheap Jaguar.

83 300D Turbo with manual conversion, early W126 vented front rotors and H4 headlights 401,xxx miles
08 Suzuki GSX-R600 M4 Slip-on 26,xxx miles
88 Jaguar XJS V12 94,xxx miles. Work in progress.
99 Mazda Miata 183,xxx miles.