I'd like for the devicePixelRatio to be well defined as to be guaranteed to be queryable somewhere if webgl is implemented. Also it is worth thinking about that the devicePixelRatio could conceivably change if the user drags the window containing the context to another screen (being high-dpi).