Web crawler for Ubuntu documentation pages