A principled approach to app pinning and app defaults in Windows