[FIX] Rest API Tool - remove redundant :443
[MERGE] Merge branch 'gh-pages' of https://github.com/ripple/ripple-dev-portal into gh-pages