- (Note to self: Don't fix it if it's not broken.) Drop unnecessary default
        theme fix:
    - fix-default-theme-base-href.patch
    - Add patch to put the Fedora People feed into the default collection.xml:
    fedora-people-in-default-collection.patch