#! /usr/bin/env bash
#
# Replace anything which looks like timestamps with XXXs.

sed 's/[0-9]\{10\}\.[0-9]\{2,8\}/XXXXXXXXXX.XXXXXX/g'
