bugfix: figured out how to set the documentation project name