CORE updates, October 2020

Created 2.xi.20. Wow, over six months since I last posted anything here. Trust me, since then I’ve done little but work, and much of that work, CORE related or just …