PRs ready for review

I have this PR that was pre-reviewed already but needs more review:

Not mine but I would love to see it in nixpkgs

This was a pretty interesting derivation compiled from source in SWI-Prolog and Rust, with a static web front-end.

rtfm: 0.2.4 β†’ 0.4.1 | rtfm: 0.2.4 -> 0.4.1 by sund3RRR Β· Pull Request #305481 Β· NixOS/nixpkgs Β· GitHub
tijolo: 0.7.4 β†’ 0.8.1 | tijolo: 0.7.4 -> 0.8.1 by sund3RRR Β· Pull Request #305496 Β· NixOS/nixpkgs Β· GitHub
gi-crystal: remove package | gi-crystal: remove package by sund3RRR Β· Pull Request #305484 Β· NixOS/nixpkgs Β· GitHub