After looking over the many piles of paper lying around with hastily-scribbled notes on, some of which were starting to fall behind cupboards or collect numerous coffee rings, I decided to start noting things down on this blog instead. This post is mainly intended to serve as an aide-mémoire, used in a recent project of [...]