GitHub #66: Update error reporting for builtins
GitHub #66: Add initial support for badge display (not too smart)