I think it's worth adding a comment above this line that somehow summarizes this discussion and that we don't expect this to be widely used or something.