Apparently, this is a FlashDevelop issue, and you can get around it by building from the command line.
Alternatively, look inside Export/html5/bin for index.html. If you load this file directly, you’ll be able to reload it with an ordinary refresh.
(And just for the record, ctrl-f5 does the same thing as shift-clicking refresh.)