source files for
git clone git://
Log | Files | Refs

commit 351947af8c8569a46dff9e66bae17d3239f9619b
parent 39a3f7ed75e953c5072a04e18ea599181c5a1530
Author: Stephen Gregoratto <>
Date:   Sat, 16 Nov 2019 12:58:16 +1100

Remove <hr>s in references, replace with padding

Mcss/style.css | 3+++
Mgpg-sync-all-pub-keys.xml | 1-
Msimple-lyrics-script-python.xml | 1-
3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/css/style.css b/css/style.css @@ -84,6 +84,9 @@ header { article > header + *, section > header + * { margin-top: 1em; } +section.footnotes { + padding-top: 1em; +} @media print{ body{ max-width: none diff --git a/gpg-sync-all-pub-keys.xml b/gpg-sync-all-pub-keys.xml @@ -26,7 +26,6 @@ gpg --recv-keys <span class="k">$(</span>gpg --keyid-format long --list-public-k <p>This experience has made me question why I put up with this UI hell. My interactions with GPG are limited to email encryption/signing (sparingly) and file encryption via <a href="">password-store</a>. I used to sign all my commits too like a good boy, before realising that nobody really checks them (especially not from little ol’ me). Recently I’ve moved secure communications to <a href="">Signal</a> <em>because</em> of its simplicity over PGP. If Filippo can get around to releasing his <a href="">age</a> tool, then I could finally dispose of this broken ecosystem and fully transition to modern, simpler crypto.</p> <hr/> <p>Update: I’ve reflected on this post a bit, and decided to remove the links to my PGP key on my website. I fully believe that PGP is fundamentally broken, and intend to revoke my PGP key when age is released.</p> - <hr/> <section class="footnotes" role="doc-endnotes"> <p>References:</p> <ol> diff --git a/simple-lyrics-script-python.xml b/simple-lyrics-script-python.xml @@ -125,7 +125,6 @@ Come with me into the great winter </pre></code> <p>And we’re finished! The only thing missing is for the Genius token to be acquired securely, but I’ll leave that as an exercise for the reader.</p> <p>Special thanks to John <abbr class="name">W.</abbr> Miller for maintaining the LyricsGenius package, Tony Crisci for maintaing Playerctl, and everyone else who works on high-quality open-source software. You rock!</p> -<hr/> <section class="footnotes" role="doc-endnotes"> <p>References:</p> <ol>