Updates to Mindstorms firmware section that were put in just before the presentation at BrickFair