Extract allow-namespaces? option

- also fix keyword-starting-with-digit bug