An embryonic PDF editor