5.1 dev = 5.2

Oops, I see I failed to increment the number on the header of the script before publishing the last version. So “5.1 dev” is really what I mean to call 5.2.