Gittrac #4091:  Committing the code; manual not updated yet (note:
version history entry needs to go into 8.1.4 section).