The ‘Heartbleed’ Bug and How Internet Users Can Protect Themselves