Adding tail.html (for automated documentation creation).
Authored by: debug 2019-06-07
Parent: [r5359]
Child: [r5361]
