Added tinynav to How the court works.