CivetWeb web server maintenance (#523):