Final additions for TWBlue 0.50. TWBlue's source code has been frozen