Scratchpad – A Throwaway Notepad for Developers