new option : OPTIONS["rst"]["project's html short title"]