tvl-depot/users/Profpatsch/whatcd-resolver/server-notes.org