 Similar to issue #6 on PIDs and Indexes, would it be better to have the label be 'pid/' instead of 'i/', which may wrongly imply Index? <!--session: 1731651043864-8781f237-5a60-42a0-8f9e-a2742fa12636--><!--Version: Desktop v3.5.4-->
Similar to issue #6 on PIDs and Indexes, would it be better to have the label be 'pid/' instead of 'i/', which may wrongly imply Index?