Add potentially useful comments in .gitmodules to be viewed by future me