I’ve introduced some new hacks into the code in order to get Arc to formulate a proper RSS feed with times.
Manually edited all old posts to have “compliant”, but made-up times (still correct dates though).
Not ideal, but using date -R was faster than implementing strftime via the FFI.