File used for navigation testing


This document was generated on a sunny day using texi2any.