Agree but it can definitely be redistributed. The overwhelming majority of users should better think about #936 than #538.