two preprints on Kan extensions in/for double categories