removing documentation builder as it will be replaced by a better, reusable version (currently maintained internally)