+Mindstorm 0.5.4

The product is named "Mindstorms", isn't it? http://www.lego.com/en-us/mindstorms/?domainredir=mindstorms.lego.com

Not that it's a problem for merging, I just wanted to confirm that the naming is intentional.