All things random but related to Nanfeldt's hiking