Minor fixes: version text update in footer; add documentation link on profile menu