Text this: Public intervention in farmer-managed irrigation systems