October was not that interesting. Or maybe I’m in a deep blog-avoiding phase at the moment. The latter will most likely change as the next year rolls around, but more on that another time…