more futzing around with extempore-path/user-extempore-directory