/**


@page dev-welcome Internals and Developers

-   @subpage dev-coding-style --- General coding styles and conventions
-   @subpage dev-docs --- Developer guide on how documentation can be built
-   @subpage dev-ros1-to-ros2 --- Some notes on ROS bag conversion
-   @subpage dev-index --- Description of the covariance index system
-   @subpage dev-profiling --- Some notes on performing profiling
-   @subpage dev-roadmap --- Where we plan to go in the future


*/