/** * \mainpage * There are lots of different plugins of different types for different purposes. */