Add a --in option to repo export
Add profiling options. Document in markdown docs