Looks like @andrej hasn't received any replies!