Behavior of device-pixel-ratio under zoom

Should devicePixelRatio and device-pixel-ratio be affected by browser zoom?

It seems to me that if the user zooms in a persistent way, it would make
sense to adjust device-pixel-ratio to match. For example, if the user
always views the page with a zoom of 2x on a 96dpi desktop screen, then
there are two device pixels per CSS pixel and device-pixel-ratio should be
2.

OTOH I can see that if the user zooms in and out a lot just to navigate (as
is often the case on mobile browsers), we might not want device-pixel-ratio
to vary.

Perhaps it should be up to the browser?

Rob
-- 
Jesus called them together and said, “You know that the rulers of the
Gentiles lord it over them, and their high officials exercise authority
over them. Not so with you. Instead, whoever wants to become great among
you must be your servant, and whoever wants to be first must be your
slave — just
as the Son of Man did not come to be served, but to serve, and to give his
life as a ransom for many.” [Matthew 20:25-28]