2013-02-03-20.43.16: src/lib/make-library-glue/patchable-file.api:   Renamed get_patch -> get_only_patch, set_patch -> set_only_patch, to free up former names for better uses.