Disclaimer — this post is still in a bit of a draft state. I have published it, however, as it is New Year’s Eve 2020 and if I don’t do it now I will probably forget to do it. What…