Updated page numbers and description of section 1.4

Page numbers can be updated by highlighted them, and choosing the
context menu option 'update numbers', which will cause them to
automatically get the page number that matches the correct bookmark.