Clarified error message.
Headers with leading digits now correctly handled.

Fixes #710.
Moved remote tutorial out of "beta" section.
Merge pull request #926 from jrrideout/issue-710

load_remote_mapping_file.py now handles headers with leading digits.