Naïm Camille Favier

```nix { config, lib, pkgs, fetchFromGitHub, ... }: let home-manager = builtins.fetchTarball "https://github.com/nix-community/home-manager/archive/master.tar.gz"; in { imports = [ "${home-manager}/nixos" ]; home-manager.users.you = { lib, ... }: { home.activation.test = lib.hm.dag.entryAfter...

This has nothing to do with `home.activation`. The relevant section of the manual is https://nix-community.github.io/home-manager/index.html#sec-install-nixos-module. Maybe we could mention `lib` in that section.

Would dunst's new `enable_recursive_icon_lookup` help with this?

> XDG_PUBLICSHARE_DIR="/home/mario/public" > XDG_TEMPLATES_DIR="/home/mario/templates" Seems like you did?

Ah, then no, you can't, but you can set them to your home directory to effectively disable them. Maybe we could make them nullable.

It's just a black-on-white Agda. Maybe the image didn't load for you? Here it is again at a different host: https://f.monade.li/VJxq3k.png

I'd have PR'd this if I could, but I'm talking about the [GitHub organisation](https://github.com/agda) logo, not something in the repo.

The SVG could be made to have a white background instead of transparent, but this is orthogonal to this issue: what needs to be changed is the GitHub organisation logo...

> We had a wildcard search? Apparently. > [wildcard] query does not support [case_insensitive] Hmm, I guess we're using a version of Elastic older than 7.10.0? (https://www.elastic.co/guide/en/elasticsearch/reference/current/query-dsl-wildcard-query.html)

Yeah, 7.2.0. Shame.