Looks like @artjedi hasn't received any replies!