Translations:Manual:UserOptions.php/4/en

For other namespaces, just replace searchNs# with the namespace number like one of those listed on the Manual:Namespace page.