Looks like @encuke hasn't received any replies!