Add extension registry info to Getting Started. Fix case of @brackets.

For #5444.