rename "Miscellaneous" header

At our last workshop, helpers unfamiliar with the setup found confusing the naming "Miscellaneous" for the SQL plugin that needed to installed for everybody. Here I suggest "All operating systems" instead, but I'm open to other suggestions.