Various tips and tricks, mainly for development