<mapID target="startupprefs" url="html/features/preferences.html#startup"/>
<mapID target="strucprefs" url="html/features/preferences.html#structure"/>
<mapID target="commandline" url="html/features/commandline.html"/>
<mapID target="startupprefs" url="html/features/preferences.html#startup"/>
<mapID target="strucprefs" url="html/features/preferences.html#structure"/>
<mapID target="commandline" url="html/features/commandline.html"/>