Open source software used in the Docs