Revert "Add `update_html_docs.sh` POSIX shell script for updating the HTML documentation of the library and the development tools"

This reverts commit cd40536a931567ab704820430b302f90f0baa5b9.