In IE 9, an issue was found with the F12 key and the Developers Tools screen. Thank you for bringing that to our attention. It has been fixed and a new release will be posted today with the fix. Regarding the F2 key, that issue can not be reproduced.