:: - sorry, I missed this and you were quite right to ping me (my watchlist has got unmanageably big). I have fixed resulting double redirects - a bot is supposed to do that, but I feel more comfortable doing it myself. If you should be in this situation again,  on the target page, in the form {{db-move|1=PAGE TO BE MOVED HERE|2=REASON FOR MOVE}}, is the way to ask. Regards,