# Addheader.py

Use with care, it's hacky.

[[todo]] Think about which other trivial tools could belong in tools/.

[//begin]: # "Autogenerated link references for markdown compatibility"
[todo]: todo "Todo"
[//end]: # "Autogenerated link references"