What are the help strings used for? It seems suboptimal to duplicate them all here.