[Grammar] bugtheory.wiki changes.