Shortened IRIs in FunctionalSyntax

[rwynne]

Before saving my ontology, I apply a namespace as the defaultPrefix.
It is then properly serialized in FunctionalSyntax on the first line of the document as
Prefix(:=<http://foobar.xyz/>)

Although, all IRIs are then fully written as
Declaration(Class(<http://foobar.xyz/1000000>))
And in AnnotationAssertions, etc as
<http://foobar.xyz/1000000>

Is there a method to generate the shortened form of the default namespace in all axioms?
:1000000

When I script this outside the API all is well and good, so I know it must be possible.

Currently on version 5.1.10.

[rwynne]

Apologies on this duplicate issue. Appears when I clicked submit, Github gave an "Ooops!" Error page and to try again?
Please close either issue as you see fit.