Docs: Suggestion for #4211 Version text disappears; $() := pageinit #4230

Merged
merged 1 commit into from May 22, 2012