Minor update for fourth milestone

You can edit this post on GitHub

It is no longer necessary to import org.tinylog.Supplier when using tinylog’s Scala logging API.