Looks like @raban-godat hasn't received any replies!