Non-extension get_random_uuid() and the Unicode normalisation stuff are great, love it!