v9.12.23

This version was released mainly to address an issue with android 12 and inaccurate location.
See Milestone 9.12.23 for the full list.