Mary Lee Berners-Lee has died