On Thu, 5 Sep 2019 11:40:50 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote: > > +:- type may_change_source_file_name > > + ---> may_not_change_source_file_name > > + ; may_change_source_file_name. > > Add a comment describing this type. Done. Thanks for the review. Zoltan.