Thanks, this is useful. You wouldn’t have a separate write-up of it somewhere? (We can cite a blog comment, but it’s probably more respectable to at least cite something that’s on its own webpage.)
Sorry, no proper write-up.
Thanks, this is useful. You wouldn’t have a separate write-up of it somewhere? (We can cite a blog comment, but it’s probably more respectable to at least cite something that’s on its own webpage.)
Sorry, no proper write-up.