The time for Tuesday’s D.C. Council hearing on the DCPS budget has changed. It’s now scheduled for noon, or whenever the morning’s regular legislative meeting breaks up.