Documentation updates
Fixes for post translation script
Fixes for documentation compilation broken in merge from dc1bab3