Looks like @egggg hasn't received any replies yet!