Looks like @njohannes hasn't received any replies!