various changes listed in WebDev/CHANGES file