He may not have been aware that there is a Help: namespace. User4 never did seem to quite grasp what namespaces are all about. Lysander (talk) 15:17, 4 December 2015 (UTC)
