End-of-today's-work commit. Don't merge with it!