# Table of equivalent URL prefixes
# <master prefix>
#	<alternative prefix 1>
#	<alternative prefix 2>
#	...
# ...
