Maintaining documentation is more important than we want it to be