On 2013-04-20 09:01, Serge D. Mechveliani wrote: > And the above report does not show the location. The location information seems to have been added recently. Try using the development version of Agda. -- /NAD