expand 'Publish Your First Extension' section

Author: imor

docs/publish.md

@@ -1,4 +1,4 @@
-Before you can publish your TLE, you need to authenticate with [database.dev](https://database.dev/).
+Before you can publish your extension, you need to authenticate with [database.dev](https://database.dev/).
 
 ### Login to database.dev
 
@@ -14,14 +14,42 @@ If you don't have an account, [sign-up for one](https://database.dev/sign-up) on
 
 You are now logged into `database.dev`.
 
-### Publish TLE
+### Publish Your First Extension
 
-A TLE has a specific [file and folder structure](extension_structure.md) for it to be valid. Make sure you have a valid TLE structure before trying to publish it.
+Let's create your first extension. Create a folder which will contain the extension:
 
-Once you have a valid TLE, run the `dbdev publish` command to publish it. For example, to publish a TLE in the `/all_tles/my_tle` folder run the following:
+```
+mkdir my_first_tle
+cd my_first_tle
+```
+
+Next create a `hello_world--0.0.1.sql` file, which will contain your extension's SQL objects.  Add the following function definition to this file:
+
+```sql
+create function greet(name text default 'world')
+  returns text language sql
+as $$ select 'hello, ' || name; $$;
+```
+
+Let's also add some docs about this extension. Create a `README.md` file and add the following content to it:
+
+```
+The `hello_world` extension provides a `greet` function, which returns a greeting.
+```
+
+Lastly, add a `hello_world.control` file with the following key-value pairs:
+
+```
+default_version = 0.0.1
+comment = 'An extension to generate greetings'
+```
+
+Your extension is ready to publish. Its name is `hello_world` and version is `0.0.1`. For details about what constitutes a valid extension, read about the [Structure of an Extension](extension_structure.md).
+
+Now run the `dbdev publish` command to publish it.
 
 ```
-dbdev publish --path /all_tles/my_tle
+dbdev publish --path /path/to/my_first_tle
 ```
 
-Your TLE is now published to `database.dev` and visible at `https://database.dev/<handle>/<package_name>`. Users can install it using the [dbdev in-database client](https://database.dev/installer).
+Your extension is now published to `database.dev` and visible under your account profile. You can visit your account profile from the account drop-down at the top right. Users can now install your extension using the [dbdev in-database client](https://database.dev/installer).