By several measures, the output of the Education Department's Office for Civil Rights appears to have fallen sharply in comparison with previous years.