a [[person]]. #pull [[mpdominguez]] [[c5n]] [[2023-01-02]] told me about [[mithril]], the javascript library