On the extension of partial metrics and quasi-metrics | Synapse