Fedora Migration Paths and Tools: A Pilot Project