Minor HTML doc changes
Set release date for 5.3.0 to November 22, 2014