A lightweight micro-service for distributed time management via JSON-RPC - View it on GitHub