Looks like @porcupinetree hasn't received any replies!