Lukas Zapletal's dot files