Whewellite, weddellite and company: where do all the strange names originate?