We can probably just get rid of this, unless there is a good reason to keep it. If there is, please add a comment explaining why