Looks like @banaan hasn't received any replies!