/systems/knuth/dist/etc/