Changelog:
Describe front-end pixel scaling in devel.but
js: handle most of the device pixel ratio in the front end
js: replace blitters array with a Map
js: index blitters Map by C address of blitter structure
js: trust CanvasRenderingContext2D.drawImage() to DTRT
js: unwrap most drawing functions
GTK: avoid explicitly using Cairo image surfaces
Document getenv_bool()
Update reference Git commit in devel.but
Remove BLITTER_FROMSAVED from drawing API
GTK: correct offset when copying backing to window
GTK/Cairo: simplify do_blitter_load()
GTK: add support for using a GdkFrameClock where available
Mosaic: make solver notice when it gets stuck.
Mines: put a warning on the web page about bug reports.
Palisade: preference to clear complete regions.