Added note about github's suboptimal display of the main org file.