Looks like @justinian hasn't received any replies!