[vfrnav/f19] (7 commits) ...delete unneded patch

[sailer]

Summary of changes:

  67ae253... comment out now missing DOM node attributes (*)
  7a60848... another BR to work around packaging issues with tex (*)
  93fb7f8... another missing tex BR (*)
  aae9f32... fix BR (*)
  718b20f... update to 20130723 (*)
  6778c4d... fix changelog date (*)
  9b86625... delete unneded patch (*)

(*) This commit already existed in another branch; no separate mail sent