Contributed by Nick Sherman
Contributed by Peiran Tan
Contributed by Luzi Type
Contributed by Florian Hardwig