Jetrelay: A high-performance ATproto relay in 500 LOC