Will Trump ban federal workers from editing Wikipedia?

This market will resolve to "Yes" if Donald Trump issues any executive order, signs any bill into law, or if the Trump administration otherwise takes any formal action which is aimed at banning employees of the US federal government from editing or drafting Wikipedia articles during working hours or using federal funds by March 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". Any action meeting these criteria will count, even if its implementation is immediately halted or delayed by judicial or other actions. The primary resolution source for this market will be information from the US federal government, however a consensus of credible reporting will also be used.