Correct! The water was later moved much further away.

Yeah, I think part of the “back to the office” push is coming from companies that aren’t smart enough to objectively measure productivity. That, or they’re using “return to office” as a way to pressure certain employees into quitting (which seems to be the case here).