Dein Vorschlag findet Zustimmung, also machen wir das so. Ich finde das zwar nicht super-elegant - weder für mich, noch für diejenigen, die 'mal eben schnell' das Handbuch brauchen.
Ein Ursprungsgedanke war ja, eine etwas umfassendere Library zu seltenen Maschinen und Werkzeugen...