This should definitely be documented somewhere before the final release,
because many users will copy their old config files.
+* Mysterious *.po entry:
+
+ #: src/frontends/qt4/ui/QViewSourceUi.ui:31
+ msgid ""
+ "<html><head><meta name=\"qrichtext\" content=\"1\" /></head><body style=\" "
+ "white-space: pre-wrap; font-family:Sans Serif; font-size:13pt; font-"
+ "weight:400; font-style:normal; text-decoration:none;\"><p style=\"-qt-"
+ "paragraph-type:empty; margin-top:0px; margin-bottom:0px; margin-left:0px; "
+ "margin-right:0px; -qt-block-indent:0; text-indent:0px;\"></p></body></html>"
+ msgstr ""
+
EDITING