Synonym request: [segfault] + [segmentationfault] into [segmentation-fault] The term of segmentationfault is often shortened to segfault. So, let's create new tag segmentation-fault (for better readability) and make it synonym of two tags above. Any thoughts?

That tag has been bothering me for a while. It's about time we fixed it.

Both tags have been synonymized and merged into segmentation-fault.