proper support for "isabelle update -D DIR": avoid accidental exclusion of select_dirs (amending e5dafe9e120f);
@manual{isabelle-system,
author = {Makarius Wenzel},
title = {The {Isabelle} System Manual},
note = {\url{https://isabelle.in.tum.de/doc/system.pdf}}}