label='' labeltype='' altlabel='' titles='' db3_data=''
DB3 new # Use DB3 for in-memory cache
+[ "$LANGUAGE_DEFAULT" ] && titles=true
+
set -- "$@" --
while [ $# -gt 0 ]; do case $1 in
- --system) glob_system_pages=true; shift 1;;
- --depth) depth="$2"; shift 2;;
- --title|--titles) titles=true; shift 1;;
+ --system|-system)
+ glob_system_pages=true; shift 1;;
+ --depth|-depth|-d)
+ depth="$2"; shift 2;;
+ --title|--titles|-titles|-title)
+ titles=true; shift 1;;
+ --no-title|--no-titles|--notitle|--notitles|-no-title|-no-titles|-notitle|-notitles)
+ titles=false; shift 1;;
\#*) tags="${tags}${tags:+ }${1###}"; shift 1;;
\!*) ntags="${ntags}${ntags:+ }${1##!}"; shift 1;;
--h1|--h2|--h3|--h4|--h5|--h6|--label)