Since these are hardware-specific I would leave them on the Librem-forum, but they could certainly be added as a link to the respective product on the Hardware Compatibility List. That way when choosing that specific device the users could see those detailed instructions. Instructions bellow:
However, for the second one, it seems less hardware-specific (just configuring split-gpg. These notes are obviously good for learning. The way they can be useful here is in case they add anything new to the already existing documentation, that extra part could be added.
Thanks for the work!