Adding a Lobste.rs proof