PDF was an proprietary format (of Adobe) until 2008. It is no longer the case. Right now there are multiple tools to edit PDF documents online or offline. Check this for example: https://www.pdfescape.com/