Oct. 6, 2022
2:28 p.m.
Thank you for the heads-up. Proposed patch attached and installed in the development repository. Rather than try to research Aleppo's time history, this patch leaves that in the war-or-insurrection category for now.