{ depot, ... }:
{
  externs = {
    renderIni = depot.users.Profpatsch.toINI { };
  };
}