Looks like @derruettler hasn't received any replies!