# Add any extension the user may use.