devtools_extensions

TODO: write documentation. This package is under construction.