Developer Miscellanea

Some miscellanea useful for developers