I edit PDF documents using Acrobat Reader DC, a free tool. It generally works flawlessly, but which complex piece of software is bug...