Fix GET /hint API
Merge branch 'master' into try-reset
Configuable ReST server's port from command-line