[ref_impl_eiffel] [1414] Update 1. 5 branch with missed final pre-release fixes to documentation.

Revision: 1414
Author: thomas.beale
Log Message: