Matrix URIs, a URL syntax from Tim Berners-Lee that never shipped (1996)