Speaking of @dejal, I’ve continued to tweak its website, very slowly modernizing it. Yesterday I pushed out a new green Dejal header and a shrinking and sticky app header. Here’s a GIF demo. I’m not a web developer, so I’m kinda proud that I could get this working fairly well.