This will now be closed, since it has been superseded by #123.