https://forums.malwarebytes.com/topic/200856-devdiv-registry/
Me and the OP of this forum post had the same registry key result in a scan two days ago (though I use Windows 7 instead). I did another scan last night and it came out clean, does it mean the key was confirmed a FP and removed from the database?