Looks like @gtjosvold hasn't received any replies!