Import doclifter-2.14. Only a minor bug left to find...