Update instructions for exporting Prometheus metrics (#446)#456

kouzant merged 1 commit intologicalclocks:mainlogicalclocks/logicalclocks.github.io:mainfrom

kouzant:federate_prometheuskouzant/logicalclocks.github.io:federate_prometheusCopy head branch name to clipboard