In our example files, we use [link](@ref) to refer to the API.

Something that would be helpful to the documentation (and great for a fist issue to a new contributor!), would be links that track back from the API documentation to specific places in the examples where that function is used.

As an example, the current docstring for kill_agent!:

"""
      kill_agent!(agent::Abst

The attr ranges could accept an interval of chars (according to ASCII). The attr ranges are mainly used by the plugins to define their attributes, e.g., see the attributes of this plugin.

The examples below could be

Investigate how to build a .deb installer.