Enhance the REST API.

In particular, provide more information about modified times.