OK, I'll make that change and close out the bug.
Great, thank you.
Of course, that likely means
https://bugzilla.redhat.com/show_bug.cgi?id=880653 might pop up again
as
being more important, but... meh.
Do you think there's any chance to improve it in F18 somehow? Do you have any
objections against hard-coding LibreOffice temporarily as part of the GNOME desktop, or is
there a better way? Is it too late for that?