Looks like @hairy hasn't received any replies!