#6: just formatting and documentation