<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2017-04-10 22:55 GMT+02:00 Michal Fabík <span dir="ltr"><<a href="mailto:michal.fabik@gmail.com" target="_blank">michal.fabik@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Definition:     use this tag for prominent tombstones</blockquote></div><br><br>I would not put "prominent" in the definition, otherwise the question will be: how can we tag a non-prominent tombstone? <br><br></div><div class="gmail_extra">Cheers,<br></div><div class="gmail_extra">Martin<br></div></div>