Grav Migration

Since this is a flat-file CMS, is it just a matter of copy-paste from my dev box to my hosting provider??

Yes. You can of course think about other deployment possibilities later, but a simple move of your files to the server will work. (make sure the server satisfies the requirements listed on the learn site)