Looks like @egggg hasn't received any replies!