Thank you Utkarsh! I installed your patch and pushed the change.
The code will need to be updated though. I think it is easier to use
'modus-themes-with-colors' in this case. But I will have to install
pdf-tools to try this again. Not sure if I can do it today, though I
will give it a try as soon as possible.