more AWS->Docker renames in documentation