A small brackets extension to customize document titles in the main Brackets window