<div dir="ltr">When and why were semaphores removed from the rtl?</div>