c35b0b8ec1
Also: * add to the CI bin directory * when making a new manual PDF, don't overwrite the old one; instead, make a copy that can be used to manually replace the existing one, if desired. Change-Id: I9384e3627835a9c9983a55c23417a279a7b4d0f4