Used to be the micro manager libraries but now that is an empty plugin (provided for backward compatibility).
